.4. Do x and u have the same value?
False
Suppose 4*o = -5*f + 19, -1 = -5*o + 4. Suppose f*d = 9*d - 264. Which is smaller: 45 or d?
d
Let l be 12/332*(3 + -6)/12. Let x = l - 2297/2988. Which is bigger: 0 or x?
0
Let r = -28998 - -164070685/5658. Which is bigger: 1 or r?
1
Let a = -1298 - -1429. Is 132 bigger than a?
True
Suppose 5*t - 5*l - 25 = -200, 3*l = 5*t + 173. Let w = t + -75. Is w at least as big as -109?
True
Let i = 144 + -125. Suppose -126 = -5*j - 3*v, -2*j - v + 69 = i. Which is smaller: j or -1?
-1
Let d = 0.272 - -300.728. Let w = 301.19 - d. Is w != 2/5?
True
Let b be 57/63 + (-8)/14. Suppose -6*i + 3*i = -3, 0 = -m - 5*i + 9. Let z be -1 + 16/3 - m. Is b at least z?
True
Let s be 0 - 4 - (-867)/(-17)*5/(-3). Is s bigger than 65?
True
Suppose 0 = -7*t - 74*v + 77*v + 779, 4*t - 434 = -2*v. Suppose 4*j - 420 = 4*u, 0 = u - 0*u - 5. Is t equal to j?
True
Suppose -a = -5*d + 479, 3*d - 455 = a + 4*d. Let h = a + 19736/43. Suppose -3*l = 1 - 4. Which is greater: l or h?
l
Let y(x) = x**3 - 9*x**2 - 8*x - 24. Let j be y(10). Let c be (52/(-8) + -1)*j/10. Suppose -4*k - w = -3*w - 12, -c*k = 2*w - 16. Is k < 5?
True
Let i(r) = 2*r**3 - 4*r**2 - 2*r + 9. Let k be i(2). Suppose 3*c - 64 = k*c. Let f = c - -29. Is -1 greater than f?
True
Let b be (141/(-4))/1 - (-4)/16. Let a = -31 - b. Let v(c) = -c**3 + 5*c**2 - 3*c - 3. Let p be v(a). Which is smaller: 2/3 or p?
2/3
Let n = -169.5 - -173. Let o = 3.6 - n. Which is smaller: -1/22 or o?
-1/22
Let u be (66/(-152))/((18/(-16))/3). Suppose -2*d = -5*j + 3*d + 25, -d = j + 3. Which is bigger: j or u?
u
Let r = -7226 + 7226. Is r > -73/60?
True
Let y = -5/91349 - -891840387/1826980. Let t = -488 + y. Let m = 1 + -1. Is m != t?
True
Let d = 13922 - 13923.0464. Do -0.2 and d have different values?
True
Suppose 0 = -4*t + 6*t - 2*y - 6, 0 = -3*t - 5*y + 25. Suppose 5*h + t = 2*g, 2 = 2*g - 17*h + 15*h. Are -80 and g nonequal?
True
Suppose v - b = 4*b - 8, 0 = 4*v - 4*b. Let x be (139 - (v - -11))/(-1*1). Is -125 at most x?
False
Let s = -70.1 - -70.0174. Let h = -634.0826 - s. Is 1 less than h?
False
Let i(o) = 2*o**2 - 2*o + 7 - 2 + 4*o**3 + 1 + 13*o**2. Let f be i(-4). Let n = -10 - -13. Are n and f non-equal?
True
Let t = -35.96 + 38.4. Let f = 2.64 - t. Which is bigger: -9/11 or f?
f
Let r(g) = -g**3 - 12*g**2 - 24*g - 46. Let d be r(-10). Let j be ((-2)/d*-2)/((-600)/27). Which is bigger: j or 1?
1
Let p(f) = -f**3 - 7*f**2 + 23*f - 22. Let z be p(-8). Let d = z - -348. Which is bigger: 409/2 or d?
d
Suppose -3*r - 21 = -10*r. Let g be 1*(r - 812/287). Are g and 1 non-equal?
True
Let v = 539 - 318. Suppose -2*u - 2*n + 11 - 109 = 0, -n + v = -4*u. Suppose 188*s = 97*s - 4823. Which is smaller: u or s?
u
Let d = -5619 - -5477. Is d <= -142?
True
Let z = 263.7 - 2453.7. Let n = -2183.894 - z. Let y = n + -0.106. Which is bigger: 0 or y?
y
Let v be (-2)/8 + -15*7/28. Let f be 6 + -1 + -3 - 12. Let d be f + 5*v/(-5). Is -4 <= d?
False
Let m = -3/68 - -199/1428. Let t be (-695)/(-756) - (-3)/(-4). Let g = m - t. Are g and 1 non-equal?
True
Suppose 2*i + 22 = 16, 2*z + 6*i - 728 = 0. Which is bigger: z or 353?
z
Let p be (44/(-33))/(2 + (-14)/21). Do p and 4/7199 have different values?
True
Suppose 5*o - 25 = 0, -3*b - 3*o - 56 = -o. Let f = -108/5 - b. Is 0.3 <= f?
True
Let l = 4.1 + -4. Let a = -125.1 + 126. Let w = l + a. Which is greater: w or 3.7?
3.7
Suppose 113 - 701 = -42*r. Suppose -4*b + r = 2*l, -l - 7 - 6 = -3*b. Which is smaller: l or -1/91?
l
Let o be 386/342*(-79 + 88). Are 11 and o equal?
False
Let g = -11.4 - -11.3. Let p = -826 - -884. Is g smaller than p?
True
Suppose 5*k + 2*r - r - 29 = 0, 0 = 2*k - 5*r - 17. Suppose -8 = -2*c + k*c. Let a be 7*(-4)/7*c. Is 8 greater than a?
False
Let x = 249.3 - 249. Let v be 0 - 1 - (3390/425 - 9). Do v and x have the same value?
False
Let b = 2.5 + 0.4. Let l = -3.12 + b. Which is bigger: l or -3/4?
l
Let n be (24 - 12)/3 + -4. Which is bigger: -1/316 or n?
n
Suppose -7*o = -37*o + 180. Let z be 0 + o - (8 - (4 - 1)). Which is smaller: z or 0.31?
0.31
Let w be (2/3)/(4/18). Suppose -5*s - 3*m + 45 = 2*m, 2*s = -m + 15. Suppose 7 - 1 = -s*y. Which is smaller: y or w?
y
Suppose 112*i - 106*i = -1428. Let y = i + 218. Is -20 at most y?
True
Let z be (-18)/117 - 3026/(-20007). Let x = -4004/38475 + z. Is x not equal to -1?
True
Let m(x) = -5*x**2 - 29*x + 119. Let j be m(5). Let z = j + 113. Suppose 0 = -7*c + 4*c - 117. Which is smaller: c or z?
c
Suppose 6*g - 145 = 89. Suppose -8*q = -3*q - 190. Which is smaller: g or q?
q
Let j be -2648*(-40)/192*9. Is j less than 4965?
False
Let y = 2726 - 1305. Do y and 1419 have the same value?
False
Let v = 168 + -147. Suppose -10*a + 209 = -v*a. Which is smaller: a or -21?
-21
Let z be 310/((616/(-105))/(-4)). Let g = z + -423/2. Which is bigger: 1 or g?
1
Suppose -3*s + 1329 = 1311. Let v be (-9693)/1782 + 1/s. Which is smaller: -4 or v?
v
Let i(q) = 2*q**2 + 5*q. Let h be i(-8). Let c be (h/6)/((-20)/(-12)). Let y = 1677/190 - c. Which is bigger: 1 or y?
1
Suppose -231*z = -224*z + 3304. Let s be (1/6)/(2364/z - -5). Which is bigger: s or -21?
s
Let s = -29058 - -29058.05. Is s less than 1.71?
True
Let x = 82 - 85. Let z be (-5)/(3375/x) - 0. Let m = z - -8093/1575. Is m < 6?
True
Let q be 2*(-2)/(-22) - (-2115)/165. Suppose -2*h - 3*p - q = -6*p, -21 = -h - 4*p. Let x = -9/25 - -582/1825. Which is smaller: h or x?
x
Let d be 1/4 - 90/80*-22. Which is bigger: d or 155?
155
Let d be ((-4215)/4155 - -1)*18/8. Is d smaller than 0?
True
Let h = -1613.0919 + 1613. Let m = h - 130.7081. Let a = m - -131. Which is smaller: a or 13/6?
a
Let p = -5/1843 + 19515/399931. Which is greater: p or 0?
p
Let k = 15 - 40. Let m = k + 24.7. Let p = -72 + 70. Is m at most as big as p?
False
Let w = 7886/767 + -133/13. Which is greater: w or -1?
w
Let d = 200 - 198. Suppose 4*w - 44 = -2*n, d*w - w + 2 = 0. Is n >= 21?
True
Let a be 72525/60 - (-3 - (-30)/8). Let p = 15/6179 + -52039643/43253. Let f = a + p. Is f bigger than 5?
False
Let m be 4*119*(-2)/4. Let k be (119*-1)/((-614)/(-1228)). Is k greater than or equal to m?
True
Let l(v) be the first derivative of 1/2*v**2 + 16 + 13*v. Let i be l(-8). Do i and 4 have different values?
True
Let p = -38907 - -38517. Is p greater than -390?
False
Let y = 372144078/7807 + -47668. Is y smaller than -1?
False
Let j = 10 - 5. Let m(g) = 6*g - 66. Let d be m(11). Suppose 9*a - j*a = d. Are 6/11 and a nonequal?
True
Let d be ((-3)/(-36) - 582/72) + (12 - 4). Let v be 14/(-21) + (-998)/(-1488). Which is bigger: v or d?
v
Let c = 284 - 296. Let y be 99/(-803)*(-1)/(c/(-8)). Is y smaller than -3?
False
Let x be (50/7)/((-167)/(-1169)). Is x >= -27?
True
Suppose 3*q - 5*t - 32 - 64 = 0, -3*q + 96 = t. Let i be -5 - -2 - 0 - (-1016)/q. Which is greater: 28 or i?
i
Let q = -143.044 - -143. Let a = q - -0.144. Is a at least as big as -52?
True
Suppose -4*c = 4*k + 584, -2*k - 4*c - 67 = 217. Which is greater: -153 or k?
k
Let r = -95 - -94.83. Let v = 1.17 + r. Which is smaller: 2/323 or v?
2/323
Suppose 22 = 2*h + 68. Let t = -4/3175 - 660364/28575. Which is smaller: t or h?
t
Suppose 86*m = 5*m - 25110. Which is greater: m or -312?
m
Suppose 72*o - 75*o + 720 = 0. Let y = o + -2162/9. Is 33 less than or equal to y?
False
Suppose 200*b + 3*b = -16*b + 219. Is 9/412 >= b?
False
Let s = -49/2199 - -53744440/6597. Let m = 8159 - s. Is m >= 13?
False
Let d = -1323/104 + 180/13. Let t = 4 - 3. Which is greater: d or t?
d
Let h be ((-1)/(-5))/(3*(456/(-460) - -1)). Suppose 3*x + x - d = 27, 0 = -3*x + 4*d + 17. Which is smaller: h or x?
x
Let p be 2/9 - 178/72. Let q(g) = g + 24. Let j be q(-6). Let s = 16 - j. Do p and s have different values?
True
Suppose 36*x + 9*x - 8415 = 0. Is 187 >= x?
True
Let g = -5622 - -5621.9. Does -427 = g?
False
Let g be (-1)/2 - 342/(-12). Let m be 240/24 + 5/1. Let y be 884/g - m/(-35). Is 98/3 less than y?
False
Let j = -1 + 3. Let r be (-22)/(-4)*(0 + j). Let m be (-157)/(-15) - (-7)/((-105)/(-3)). Which is greater: r or m?
r
Let r(c) = -c**2 + 13*c + 35. Let w be r(15). Suppose w*v - 55 = -5*p, 53 - 43 = v + 2*p. Does v = 11?
False
Suppose 2*x - 118 = -2*k, 0*x = 3*x - 2*k - 172. Let o(r) = -x*r - 55*r + 112*r - 15. Let v be o(-13). Is v > -30/