 r = 99 + -32. Are r and u unequal?
False
Let h = -11246682/37 - -303946. Are -17 and h unequal?
True
Let d = 103 - -73. Let h = -176 + d. Let a = -31.65 - -32. Is a less than h?
False
Let j = 172.73 + -3.73. Let t = 165 - j. Let y = -0.3 + 0.3. Which is smaller: y or t?
t
Let s = 495223/58343259 + -35/4353. Is -1 at least s?
False
Let y = 934/3 - 21503/69. Let j be (-3)/2*10/(-15). Is y equal to j?
False
Let n be -3964*(-2)/14 - (-18)/(-63). Suppose -s = 4*s + w - n, -s = 4*w - 117. Which is smaller: 114 or s?
s
Let l be (0/(-2 - -3))/(-2). Let d be 4/14 + 10*6/(-252). Let t = 10/21 - d. Which is greater: t or l?
t
Let g = 0.3 + -0.1. Let d = g + -0.2. Let m = -9368 - -9367.951. Is d greater than or equal to m?
True
Suppose 7365 = 3*k + 7*m, -105*k + 4*m = -110*k + 12275. Which is greater: k or 2453?
k
Let k = 0.82 + -0.754. Let t = -29.934 - k. Let h = t + 30.1. Which is smaller: h or -1/7?
-1/7
Let k = -257 + 269. Let a be (6 - k)/(-3) - 5. Let z = 0.1 + 0.05. Which is smaller: z or a?
a
Suppose -26*b - 664 = -30*b. Let z = -172 + b. Which is greater: z or 1?
1
Let v = 7275 - 7328. Let h = 11 + -1. Let p = h - 10. Is p less than or equal to v?
False
Suppose -312*f = -330*f - 1602. Is f less than or equal to -89?
True
Suppose -18*t + 20*t - 2 = 0, 5*t = k - 297. Suppose -853 - k = 21*j. Suppose 5*b = -4*n - 288, 0 = b - 5*n + 38 + 8. Is j at most as big as b?
False
Let p(s) = s**3 - 34*s**2 + 69*s - 193. Let t be p(32). Which is bigger: t or -47?
t
Let z = 44 - 43.957. Let n = 323 + -177. Let x = 148 - n. Which is smaller: x or z?
z
Suppose 0 = 4*u + 9*u. Let x be 4*1/2 - u/(-8). Suppose 4*h = -x*l + 3*h + 4, 8 = 4*h. Is 1/53 less than l?
True
Let k(z) be the second derivative of z**3/2 + 21*z**2/2 - 3*z. Let t be k(-7). Suppose 4*r - 5*n + 15 = t, -9 = 5*r - n - 2*n. Are r and 3 nonequal?
True
Let r(p) = -5*p**2 + 8*p - 10. Let g be r(-8). Let t = g + 397. Let j = 0.08 - -2.92. Is t <= j?
True
Let l = -1984/17 + 56805/493. Which is bigger: l or 0?
0
Let n = 89 - 90. Let k = -10999 - -1572866/143. Is n at most as big as k?
True
Suppose -62*w = -66*w. Suppose 4*z + 0 - 20 = w. Suppose g = 4*g - z*g. Which is greater: -7/11 or g?
g
Let n(i) = 3*i**2 - 80*i + 400. Let x be n(20). Let v be ((-30)/(-25))/(62/(-10)). Which is greater: x or v?
x
Let c be 76/1558 + 6060/164. Which is smaller: 250/7 or c?
250/7
Let s = -2/6469 + -97027/25876. Suppose -6 + 2 = x. Is s less than x?
False
Let h be -3 + -24 + -18 + 7. Let d(k) = k**2 + 15*k + 17. Let s be d(-12). Let y = -20 + s. Do y and h have the same value?
False
Let z be ((-42)/98)/(1/7). Is 26/5 >= z?
True
Let k = 5.2 - 3.1. Let h = 425.16 - 423. Let s = h - k. Which is greater: -0.3 or s?
s
Let u(l) = -4*l + 73. Let d be u(17). Suppose -d*a - 2*k + 3*k - 46 = 0, a + 14 = 5*k. Is a at least 3/2?
False
Suppose -4 = -5*n - 4*c, 4*n - 5*c + 5 = -0. Is 17/60 != n?
True
Let z be (1020 - 1) + -3 + 3. Are 1020 and z nonequal?
True
Suppose 4*j = 5*i - 847 - 2659, -4*i = -24. Is -867 at most j?
False
Let r be 2/8*538930/(-56). Let u = 2405 + r. Which is smaller: -1 or u?
-1
Let n = 540.92 - 0.92. Let a = 540.1 - n. Is 25/6 != a?
True
Let i = 14 - 144. Let v = -145 - i. Suppose 17 = -3*u + 2*u. Which is smaller: v or u?
u
Let i be -4 + -6*(-16715)/(-130). Let w = i - -775. Let l(k) = -k**2 + 16*k + 1. Let a be l(16). Which is bigger: w or a?
a
Suppose -2*i + 2*q = 1164, -15*i + 2886 = -20*i - 3*q. Which is smaller: i or -581?
-581
Let s = -199.19 - -189.317. Let t = s - 0.127. Which is greater: -1/4 or t?
-1/4
Let m be 19620/18312 + (1 - 1 - 4/7). Which is smaller: 6176 or m?
m
Let a be 802 - (-4)/(-18)*9*21/(-6). Which is bigger: a or 3?
a
Let c be 5/(15/(-12)) + 8. Let b be c/(-12) + (20/(-6))/2. Let f be b/(-4) + (-6)/12. Do -10/29 and f have the same value?
False
Suppose 5*c + 4*a = 24, 33 - 9 = 4*a. Which is greater: 1/23580 or c?
1/23580
Let g(m) be the first derivative of m + 1/4*m**4 - 5/3*m**3 + 5/2*m**2 + 13. Let r be g(4). Are 25/7 and r non-equal?
True
Let o = 146 + -147. Let u = -287174/79 - -3635. Is u less than or equal to o?
False
Let v(o) = 3*o**2 - 4*o - 5. Let y be v(-3). Suppose 0*m - h = -4*m + 54, 2*m = -2*h + 22. Suppose 0*f + m = 2*f - w, 5*f - w = y. Which is smaller: 5 or f?
5
Let f = -644 + 631. Which is greater: f or 10?
10
Suppose -5*m + 2 = 5*n + 7, 5*n - m - 25 = 0. Suppose f = -n + 8. Let k be (6/f)/(-3 - -6). Which is smaller: -0.5 or k?
-0.5
Suppose 0*p - 22 = 4*p - 5*c, 0 = -5*p + 2*c - 19. Let k be (p/(-6))/(-2 + 510/252). Which is greater: k or 41/2?
k
Let r(u) = -10*u - 9*u - 5 + 14*u - 2. Let j be r(-2). Let b be (-58)/(-18) + j/(-1). Is -1 less than b?
True
Let r(q) = -43*q**2 - 148*q - 983. Let n be r(-7). Is n less than -2053?
True
Let o(n) = 23*n - 210. Let y be o(22). Let d = -6 + y. Is 291 bigger than d?
True
Suppose -18*r = -24*r + 1050. Let k = -175 + r. Which is smaller: k or -2/109?
-2/109
Let i = -3906 - -5084. Is 1177 at most i?
True
Let b(j) = j**2 - 7*j - 24. Let a be b(9). Let c be (-1 + (-10)/a)/((-156)/234). Is 7/61 less than c?
False
Let r be (-5)/((-5)/6) - (-11972)/(-1898). Which is greater: r or 203?
203
Suppose w + 4*w = -35. Let v be (-42)/(-9)*(108/(-63) + 0). Which is smaller: w or v?
v
Let i be 1504/15792 - (1 + (-352)/273). Is -1 < i?
True
Let n be -2 + (-31)/(10044/2784). Which is bigger: -12 or n?
n
Let j be (-2)/14 - (-1516)/28. Let n(u) = -27*u - 459. Let f be n(-19). Is j at least as big as f?
True
Suppose -14*q + 10*q = h - 104, 436 = 4*h - 4*q. Let w be (-6)/3 + h/44. Which is greater: -1 or w?
w
Let q(r) = r + 13. Let s be q(-8). Suppose x + 4*t - 37 = 0, -s*t - 43 = x - 4*x. Let i be (3 + 1 - 2)*(-1159)/(-122). Is x not equal to i?
True
Let i = -1228 - -1455. Let u be -50 + 50 + (-4)/(-6). Which is smaller: i or u?
u
Let g be (-4 - 1)*16/(-10). Let d be 15/(-12)*g/6. Let s = 6.5782 - 6.5782. Which is greater: d or s?
s
Let z = -86 - -86. Let k = 0.31 + -0.15. Let g = k + -1.76. Is g greater than z?
False
Suppose -r + 5*r = 0. Let q be (195/260)/(21/(-8))*-5. Is q bigger than r?
True
Let x(h) = h + 41. Let q be x(-17). Suppose 23*n = q*n - 2*s, -s = -2*n. Let d = -0.01 - -5.01. Are n and d unequal?
True
Let h be (2 + 15/(-6))*2. Let y(g) = 18*g + 5. Let i(v) = 63*v + 18. Let j(t) = -5*i(t) + 18*y(t). Let b be j(h). Which is greater: 0.1 or b?
0.1
Let l = 141 - 179. Let n be 966/(-26) - 26/(-169). Is n bigger than l?
True
Let v = -0.24 + 15.24. Let o = 197 - 5. Let p = o + -191.9. Which is bigger: v or p?
v
Let w be ((-4)/2 - 66)*(1 - 18). Suppose -s = j - 289, -5*j + w = -j + s. Let n = j + -567/2. Is n at most as big as 5?
False
Let r = 88322/9 + -166999/18. Let g = r + -536. Is -0.041 < g?
False
Let d = 1360 + -1359. Let m be 4/10 + 4932/(-30). Let w be (2 - 4) + (-330)/m. Is w <= d?
True
Suppose -43 = 182*r + 73 + 66. Is 6/13175 greater than or equal to r?
True
Suppose -5*i + 8*i - 90 = 0. Let g = -30 + i. Suppose -2*n + 10 + 8 = g. Which is greater: n or 10?
10
Suppose 5*b - 3684 = u + 2397, b - 1220 = 4*u. Is 1214 <= b?
True
Suppose 8*t - 11 - 45 = 0. Suppose a + 5*d - 27 = 0, 5*a - 4*d + t*d - 69 = 0. Is 2 smaller than a?
True
Let m = -8 - -7.9. Let f = 12713 + -12800. Which is smaller: m or f?
f
Let f be (-70)/1005*3/16*20. Which is bigger: f or 0?
0
Let i(t) = -17*t**3 + t**2 + 4*t + 3. Let m be i(-1). Suppose -m*f = -24*f + 7. Let a = 224 - 2009/9. Are a and f nonequal?
True
Let j be ((-180)/16)/(5/(-100)). Which is bigger: j or 223?
j
Let p = 3335 - 3618. Is 0.01 greater than p?
True
Let v = 46 + -43. Let o be v - (48864/27)/8. Let a = -223 - o. Which is bigger: a or -2/7?
a
Let l = 1489 - 1247. Is 243 less than or equal to l?
False
Let r(a) = 11*a + 33. Let q = -57 + 55. Let z be r(q). Are z and 11 unequal?
False
Let p = -54 - -130. Suppose 0 = -i - 4*r + p, -8*i - 5*r = -6*i - 137. Which is smaller: 55 or i?
55
Let o(v) = 103*v + 5769. Let b be o(-56). Which is smaller: 2/11559 or b?
2/11559
Let h = 7973 - 15947/2. Which is bigger: h or 0.0532?
0.0532
Let n be (23574/504)/(2/76). Let s = n + -11183/6. Let f = 86 + s. Is 1 greater than f?
True
Suppose 2121*c - 2128*c + 70749 = 0. Is -1 > c?
False
Suppose 3*h - j - 9 = 2*h, -5*j = -3*h + 19. Suppose h = 5*s - 7. Let k = -11.8 + 12.5. Which is greater: s or k?
s
Let j = -