10 + -2). Is 0 at most as big as t?
True
Let t = 150.31 + -153. Let g = -2.72 - t. Let s be (-2)/7 - (-38)/35. Is g > s?
False
Let p = -128 + 126. Let t be p/(-3)*(-9 + (-2079)/(-88)). Which is bigger: t or 9?
t
Suppose 34*h = -76*h - 496870. Which is smaller: 0 or h?
h
Suppose 0 = -2*k - 10, -23*a + 4*k = -21*a - 18. Which is smaller: 23/142 or a?
a
Suppose 0 = -w + 5*l + 129, w = 4*l + 125 + 5. Suppose 12*z - w = -386. Which is smaller: z or -19?
z
Let c = 9.159 + -22.159. Which is greater: 0.82 or c?
0.82
Suppose 13*p - 3*p + 160 = 0. Let u be (-4)/p*(2 - -42). Let d(r) = 4*r + 42. Let n be d(-8). Which is greater: u or n?
u
Suppose 5*n + 260 = 5*q, 18*n - 2*q = 14*n - 198. Is n >= 27?
False
Let x = 14662.5 - 14663. Let s = -7 - -7.26. Which is smaller: s or x?
x
Suppose -20 - 20 = 16*v - 40. Which is bigger: 5/346 or v?
5/346
Let l = 5841 + -5840.8. Is l bigger than 0.314?
False
Suppose n + 7 = -3*f + 27, f + 3*n = 20. Suppose -2*r - 2*w - 8 = 0, 0 = -2*r + f*r - 2*w - 8. Which is smaller: r or 3/82?
r
Suppose -4*a = -5*l + 102, 19 = -l - 3*a + 47. Let m = -46 + 66. Which is smaller: l or m?
m
Suppose -2*b - 155 = -5*i - 142, -2*i + 3 = -3*b. Which is greater: b or 2/2883?
b
Let g be (-2)/(-10) - (-240)/50. Let h(a) = -5*a - 2 + 2 + 2*a**2 + g. Let r be h(2). Is r at most as big as 2?
False
Let z = -17.7 - -168.7. Let j = 212 - z. Let l = j - 60.9. Is -0.18 >= l?
False
Let m be (-213)/(-24) + -10 + (2 - (-90)/(-48)). Which is smaller: 2/5647 or m?
m
Let o = 20783 - 17373. Is -2 <= o?
True
Suppose -3*i = -3*o, 8*i - 4 = 11*i - 4*o. Suppose -j - i = 5*f, -7*f + 3*f = 4*j. Which is bigger: 2/217 or j?
j
Let a be 1 - ((-128)/(-42) + -2). Let q = 646 - 321. Let b = q + -324. Which is smaller: b or a?
a
Let c(v) = -23539*v + 47085. Let p be c(2). Let l = -0.12 + 0.1. Are l and p unequal?
True
Let d be -3 + 85/(-10)*(3 + (-46)/14). Is d at most as big as 201?
True
Suppose -3*i = -4*i - 263. Let o = -95941 + 95679. Which is greater: i or o?
o
Let x be (40/4)/5 - -3. Suppose -p - 430 = -2*t - t, -x*t = -4*p - 705. Let q be (-430)/t + 3 + 0. Which is smaller: q or -1/2?
-1/2
Let z = 0.6759 - -3935.3241. Is 1/2 <= z?
True
Let u = -444 + 15536/35. Let c be 6/(-21) + (-3)/(-21)*79. Let d be (0 - 0 - (-12 + c))/(-1). Which is greater: d or u?
u
Let a = 120 - -178. Is 1/8 >= a?
False
Suppose -5*f + 3*t + 3804 = 539, -t = 4*f - 2629. Suppose -38 + f = -6*s. Let n = -417/4 - s. Is n smaller than -2?
False
Suppose -2*b - 4*y = 120, 142 = -2*b + 2*y + 10. Which is greater: b or 0.05?
0.05
Let a(d) = d**3 + 2*d**2 - 29*d - 7. Let v be a(-7). Which is smaller: 35 or v?
v
Suppose -t + 11439 = -3*i - 4*t, -15261 = 4*i - 5*t. Is -3815 <= i?
True
Suppose -2*t - c = -4*c - 1138, 4*t = c + 2296. Let z = 309 - t. Is z != -0.1?
True
Suppose 2*j - 180 + 182 = h, 1 = 4*h - j. Which is smaller: -9842 or h?
-9842
Let i = -3 + 2.89. Let s = 0.89 - i. Let n = -147.4 + 84.4. Which is greater: n or s?
s
Let x = -60 - -33. Is -20 > x?
True
Suppose 17*z - 14*z = 39. Suppose -4*a + 4*m + 28 = 0, -z = -a - 2*a - m. Suppose -a*n + s = -0*s + 105, 3*s = 0. Do -21 and n have the same value?
True
Let q = -196.1361 + 0.1361. Is -1/18 at least as big as q?
True
Let j = 3 - 56. Let c = 57 + j. Are c and 31/7 unequal?
True
Let p(o) = -2*o**3 + 28*o**2 - o - 26. Let z be p(14). Let q(k) = k**3 + 3*k**2 + 5*k + 3. Let c be q(-4). Let i = c - z. Is i != 3?
True
Suppose -5*u = -5*i - 55, -4*u - i + 22 = -12. Let s be (-3)/2*(-12)/u. Let m(k) = -k**2 + 3*k - 2. Let n be m(s). Which is bigger: n or -28/3?
n
Let i(s) = -149*s + 587. Let l be i(-9). Is l at most 1929?
True
Suppose 0 = 5*l - 32 - 58. Suppose -l = -2*w + 4*m, 3*w - 2*m - 3 = 44. Let i = -17 + w. Which is bigger: i or 7/3?
7/3
Let o be (-53)/(-23) - 66/66. Let i = -955/644 + o. Which is smaller: i or 1?
i
Let a = -22341 - -22391. Is a < -76?
False
Let f = -1026 - 2288. Is -3315 at most f?
True
Let f be (-6)/((-36)/15*15/6). Which is greater: 21/400 or f?
f
Suppose 4*y = -5*k + 13, 0 = -19*y + 14*y - 2*k + 12. Suppose -2*s = 4*u - 36 - 20, 0 = 2*s + 2*u - 46. Suppose v + 3*f + 12 = 5*f, -s = y*v + 2*f. Is 0 < v?
False
Let r = 42 + -21. Let m(i) = -i**3 + 22*i**2 - 28*i - 18. Let d be m(r). Let j = 2143/13 + d. Which is smaller: j or 1?
j
Let n = 3068 + -3068. Is 10/239 at least as big as n?
True
Suppose -7832 - 148 = 22*z + 6*z. Are -283 and z unequal?
True
Let n = 42 + -34. Let j = n + -8.62. Let z = j - 15.38. Is z smaller than -1/3?
True
Suppose 55*c - 65*c = 330. Let u be (c/6 - -6)*6/(-9). Suppose -5*v - 11 + 1 = 0. Which is bigger: u or v?
u
Suppose 115 = -5*s + 5*p, 7*s + p = 3*s - 122. Let g be -2 + 1 + 0 + -28. Is s not equal to g?
False
Let x = -41 - -42. Suppose -2*o + 48 = -44. Let f = o - 133/3. Is x greater than or equal to f?
False
Let c = -152.53 + 10.33. Let l = 125 + c. Let j = l - -6.2. Is 0.2 at least as big as j?
True
Let y be 4/3 + 9/(81/24). Suppose -y*v - v = -35. Suppose -3*u - 3*x = -v*x - 68, -4*u - x + 97 = 0. Is 26 bigger than u?
True
Let l = -0.5894 + 0.0894. Is l greater than or equal to -3/233?
False
Let h be (-1)/((35/10)/7) + 4. Suppose -8 = -h*q, 6*z + 4*q = 4*z + 18. Are 25/11 and z non-equal?
True
Let f = -31.8909 + 0.8909. Is f not equal to 0.66?
True
Suppose -4*f = -2*f - 2*i - 84, 128 = 3*f - 4*i. Let q be 16 - -2*f/16. Is -5 greater than or equal to q?
False
Let a = 44.76 - 44.66. Is a greater than -9606?
True
Let r be 3/33*145 - 10/55. Suppose -r = 6*p - 7. Is p less than or equal to 4/69?
True
Let l = 153 + -61. Let f be l/210 - 12/(-90). Suppose -3*b = -1 - 2. Do b and f have different values?
True
Let k = 9.11 - 9. Let a = -536 + 378. Let n = -160 - a. Is k equal to n?
False
Let t = 6688 + -401273/60. Which is smaller: t or 1?
t
Suppose 0 = 3*j - 4*j - 1. Let i be (-626)/72 + 6 - (19 - (-175)/(-9)). Do j and i have the same value?
False
Suppose 0*x - 7*x + x + 59976 = 0. Which is smaller: 9995 or x?
9995
Let f = 522.0095 + -0.0095. Let o = f + -254. Is o at least as big as 1?
True
Let f = -85 + 137. Suppose q = o - 24, o - f = -2*o - q. Which is greater: 4/3 or o?
o
Let u = 4.666 - 4.166. Which is greater: u or 0.17?
u
Suppose 0 = 2*r + 4*a + 333 + 401, -r = a + 364. Suppose n + 367 = -l, -5*l + 274 = -4*n + 2064. Which is smaller: r or l?
l
Let z = 1/13403 - 14745/17986826. Let f = 54908 + -54907. Which is smaller: f or z?
z
Let v = 0.02554 + 0.09446. Let h = 0.19 - 8.19. Which is smaller: h or v?
h
Let b = -2853 + 1896. Let c be b/22 + 2/4. Let l = 1367 + -1410. Is l < c?
False
Let g be (-292)/99 + (-4)/(-18). Suppose 168*s + 119*s = -176*s - 83*s - 1092. Is g > s?
False
Let k = 324.99 - -8.01. Let g = 335 - k. Which is bigger: g or 26?
26
Let l = -10577305/9252 - 11/2313. Let u = -1184 - l. Which is smaller: u or -41?
-41
Let i be -2 + 11 + 14/((-13020)/7870). Does i = 2?
False
Let j = -278.113 + 266.15. Let r = -0.037 + j. Let x = r - -11.952. Which is bigger: -0.1 or x?
x
Let o be (-142252)/130 - 2/13. Let c = -1106 - o. Which is greater: -13 or c?
c
Suppose 5*s - 2*z + 2790 = 0, 0 = -35*s + 34*s + 2*z - 550. Are s and -562 nonequal?
True
Let j be 1 - 19*(-4)/(-78). Suppose -33*o = -32*o + 2. Let d be ((-65)/(-26))/((-5)/o). Which is greater: d or j?
d
Let t be 378/91 + (-12)/78. Suppose -43*x = -47*x - t. Let u be (3/(-2))/((-171)/24). Which is greater: x or u?
u
Let t = -198 + 95. Let d = -252 + 354. Let h = t + d. Is h > -19?
True
Suppose 0 + 4 = 4*j, g - 4*j + 2 = 0. Suppose -f - 3*p + 2 = 6, -10 = g*p. Suppose 0 = u + 2 - 4. Do u and f have different values?
True
Suppose 12*b = -10*b + 44. Suppose -4*z = 5*k - k - 428, 0 = 5*z - b*k - 514. Which is smaller: z or 103?
103
Let n(p) = p**3 + 2*p**2 - 51*p - 25. Let q = -335 - -327. Let b be n(q). Suppose 2*s = -9 + 57. Which is greater: s or b?
s
Let t be (-204)/36*-30*10. Is 1700 less than t?
False
Let k be (28 + -32)/(-5 + 123/24). Which is greater: k or -44?
k
Suppose -2*b = -5*h - 190, 2*b + 2*h = 6*h + 190. Let w be 1*(-2905)/30 + (119/42 - 2). Let z = w + b. Is z greater than or equal to -1/4?
False
Let g = -2428 + 2427. Is g != 3/214?
True
Let u(l) = -l**2 + 60*l + 6. Let n be u(60). Is n != 61?
True
Let j = 576.316 + -6.116. Let a = j + -570. Is 0.135 > a?
False
Let k = -10688 + 10688. Which is smaller: k or -40/157?
-