
Let y be (-72)/(-132) - (72/11 - 39/13). Suppose 2*n - 32 = -102. Is y greater than n?
True
Let x be (-26)/(-15) + (-156)/(-585). Do x and 1011/5 have different values?
True
Let a = 245 + -220. Let z be (3/a)/((-144)/(-32)). Suppose q + 5 = 6*q. Is z equal to q?
False
Suppose 2*g - 1247 + 460 = -5*r, 5*r - 791 = -g. Let d = 253 - r. Let b = -68 + d. Which is smaller: 25 or b?
25
Suppose 0 = -3*q + 5 + 1. Let h be (-6)/q + 5 - 3. Let y be (h + 0/(-1))/((-2)/8). Does y = 0?
False
Let a be (4/(-3))/((-4)/12). Suppose -z + 9 = 5*x - 8*x, a = -2*x. Suppose -84 = -19*s - 9*s. Is z greater than s?
False
Let m = -25.3152 - -2.3152. Let r = 3 + -3.2. Let c = r - -0.2. Which is smaller: c or m?
m
Suppose 0 = 3*j + 14 - 26. Suppose -3*g = -j*g - 6. Let b be 90/(-8)*8/14. Which is bigger: g or b?
g
Let f(b) = -b**2 - 6*b - 5. Let k be f(-4). Suppose -k = 3*h - 0. Let q be (1/(-80))/((-5)/(-10) + h). Are q and -1 non-equal?
True
Let b = -2067 + 1463. Let r = -3018/5 - b. Is -76 at least r?
False
Let q = 301 - 296. Suppose 0 - q = 2*k - 3*i, 3*i - 8 = 5*k. Let l be 2/(-6) + (-16)/(-57). Is k equal to l?
False
Let o = -12 + 29. Let n = o + -62. Let w be (3*(-1)/(-2))/(n/(-12)). Is w less than or equal to 4/7?
True
Suppose 2*d + 293 = -41. Let r = d + 167. Are 2/13 and r equal?
False
Suppose -6*s = -44 + 2. Suppose s*r = 110 + 828. Which is smaller: 136 or r?
r
Let f be 23/(-2*(-1)/6). Suppose -1289*g + 385 = -1288*g. Let t = 453 - g. Which is greater: f or t?
f
Suppose -2671*k = -2687*k + 112. Suppose 0 = 5*g + 2*a - 5*a - 30, -4*g + 2*a + 22 = 0. Is k at least g?
True
Let f = 0.6 - 0.3. Suppose 0 = -3*c + 3*t - 96, -23*t + 164 = -5*c - 19*t. Let q be ((c/(-10))/9)/((-6)/(-5)). Do f and q have different values?
True
Let f be -292 - 1 - (3 - (-5 - -4)). Let b = -310 - f. Is -85/7 equal to b?
False
Let c = 40312 - 161247/4. Let u(n) = -n + 120. Let p be u(0). Which is smaller: p or c?
c
Suppose 2*x = -5*t - 123, 0 = 3*t - 11 + 2. Are -60 and x non-equal?
True
Let u(i) = -i**3 - 5*i - 1. Let b be u(0). Is b less than 5/943?
True
Suppose -9*u + 14*u + 415 = s, 134 = -u - 10*s. Is -81 bigger than u?
True
Let a = 929 - 928.593. Let q = a - 2.407. Which is smaller: 10 or q?
q
Let w be (-874)/152 + 5 + (-389)/(-476). Which is greater: 0 or w?
w
Let l(x) = -104*x - 355. Let g be l(66). Is g bigger than -7220?
True
Suppose k - 51 = -p, -k - 5*p - 130 = -3*k. Let b be (-10)/k + 4/22. Suppose -4*y - 12 + 4 = b. Which is greater: y or -5/9?
-5/9
Let y be (3328/(-24))/(430/128256). Let z = y - -41360. Let i = 1/129 + z. Is i less than 1?
True
Let n be (-9)/21*(2 - 285/(-160)*-1). Suppose 0*t = -4*i - 2*t + 8, -3*i - t + 4 = 0. Which is greater: n or i?
i
Let i(s) = -s**3 - 6*s**2 - 3*s + 7. Let b = 71 + -63. Let z be (-2 - (-2 + b)) + 3. Let n be i(z). Which is smaller: n or -13/4?
-13/4
Let c = -11019/5 - -215410441/97745. Is c <= 1?
True
Let o = 524 + -523.9. Let w = -163 - -287. Which is greater: o or w?
w
Let l(g) = -g**3 + 5*g**2 - g + 5. Let q be l(5). Let w = 19292 + -19213. Is w greater than q?
True
Let g be (-9)/1335*1/((-9)/(-6)). Let u = g + -439/1335. Let l = -346 - -2430/7. Which is smaller: l or u?
u
Let z(p) = 568*p - 11248. Let j be z(36). Which is smaller: j or 1?
1
Let m(n) = 7*n - 17. Let l be m(3). Suppose 3*o = 3*i - 342, -l*i + i - 372 = 3*o. Is -118 at least o?
True
Let h = 35.356 + -35.5. Let d = h + -0.856. Which is smaller: 67/3 or d?
d
Let x = -10867 + 10883. Let v be (2 - 154/(-16)) + 3. Is v greater than x?
False
Let b be (-41 + 204 + (-3)/(-9))/(4/6). Are -7 and b equal?
False
Let u be 3 + 8/(16/162) + 0. Which is smaller: u or 82?
82
Let y = 2972927/181 - 16425. Suppose 4*l = 1 + 3. Is y < l?
True
Let m = -716.88 + 716.9. Which is smaller: m or 867?
m
Let i = -2174 + 2174. Which is smaller: -1704 or i?
-1704
Let o = -2219 + 250. Which is bigger: -1970 or o?
o
Let w(y) = y**3 + 50*y**2 - 87*y - 44. Let f be w(-53). Which is smaller: f or -3859?
f
Suppose 5*s + 140 = 5*i, 4*s = i + s - 36. Let f be -2 - -6 - (-12)/(-3 - -4). Let j be ((-8)/64)/(-6*1/f). Which is greater: i or j?
i
Suppose -5*m + 120 = -35. Let z = m - 32. Is z <= -2/207?
True
Suppose 20114*k = 20126*k. Is 759.8 <= k?
False
Let w = 383 + -199. Let o = 180 - w. Suppose 3 = -t + b + 1, 6 = 3*b. Is t at least as big as o?
True
Let v = 82 + -77. Suppose -h + 205 = -f - 3*f, v*h = -2*f - 119. Let w be 3/(-6)*336/f. Is w smaller than 4?
True
Suppose 0*c + 5*c = -3*u + 44, u = -3*c + 24. Suppose -39 + 956 = -c*g. Is -130 at most g?
False
Let z = -1/10755 - 811/531297. Which is bigger: z or -1?
z
Let i be -1 - 1 - (36 - 38). Suppose 0 = 1457*x - 1459*x + 468. Which is bigger: x or i?
x
Let w = -649 + 651. Suppose -179 = -5*h - o, -5*o = -6*h + 5*h + 41. Is h >= w?
True
Let f(o) = -o**3 - 13*o**2 + 6. Let c(m) = -46*m + 1. Let x be c(-1). Suppose 2*s - x = 3*v, 2*s - 8 + 0 = 0. Let l be f(v). Which is bigger: l or 10?
10
Let c = -3813 + 3824. Which is smaller: 39 or c?
c
Let z = 785 + -354. Let q = z - 430. Let c = 9 - 14. Which is smaller: c or q?
c
Let z = -7288 - -36439/5. Which is bigger: z or -0.686?
z
Let s(h) = -h - 14. Let t be s(-16). Suppose r - 5 = -t. Suppose -15 = -r*a + 2*f, -a = 4*a + 4*f - 3. Are 23/9 and a equal?
False
Let u(b) = 4*b**2 - 16*b - 49. Let m be u(-20). Suppose 0 = n - 2*n - f - 622, -4*f = 3*n + m. Do n and -616 have different values?
True
Suppose 199*r - 62 = 137. Are r and -3/9250 non-equal?
True
Let q be (-9)/5*5*(0 - 6). Let m = q + -50. Which is smaller: -14 or m?
-14
Suppose 2*k - 14 = -12*k. Let d be k/3 + 1 - (-10)/6. Which is greater: -8 or d?
d
Suppose -204 = -266*l + 263*l. Does 78 = l?
False
Let n = 252 - 249. Which is greater: n or -1.74?
n
Suppose 5 = -2*z - i - 23, -36 = 2*z - 3*i. Let c be 2/z*-3*(-50 - -60). Suppose -2*v - 3*d + 7*d = -8, 0 = 2*v - 3*d - c. Which is smaller: -13/3 or v?
-13/3
Let d be (5*5/75)/((-20)/24). Which is greater: d or 244?
244
Let r(m) = 72*m + 269. Let a be r(-3). Which is greater: 79 or a?
79
Let x be (-35 + 13)/2 + -530. Which is bigger: x or -542?
x
Let i = 26347/16 - 1648. Which is greater: i or 0?
0
Let z be (-30)/240 + 566/48. Which is bigger: z or 21?
21
Suppose -3 = 2*c + 57. Let t(p) = -5*p**2 + 25*p + 10. Let m be t(7). Let z be ((-8)/c)/((-200)/m). Which is greater: z or 0?
z
Let c(d) = -24*d. Let x be c(1). Let w(i) = i**3 - 38*i**2 - 3*i + 119. Let f be w(38). Let u be (2 - f)*x/18. Which is smaller: 2 or u?
2
Let u = 1128 + -2161. Are -1036 and u nonequal?
True
Let p = -25 + 27. Suppose -2*f + 4*a + 22 = 0, f + 2*a = 9 - p. Let x(d) = -d**3 - 7*d**2 - 9*d - 9. Let t be x(-6). Is t greater than f?
False
Let f = 511 - 226. Let x = f + -2578/9. Suppose -h = -0*h + 2. Is h greater than x?
False
Let l be (-2)/((-2)/(1 - 0)). Suppose -2 = z, -x + 29*z = 30*z - 37. Suppose x*v = 29*v + 50. Is l greater than v?
False
Suppose -16*s + 812 = -12*s. Suppose -5*i - s = 2*o + 477, -4*o = 5*i + 690. Which is bigger: i or -135?
i
Let n = 9.596 - 9.638. Which is bigger: 172/5 or n?
172/5
Let o = -0.1 - 13.9. Let m = 13.93 + o. Is m smaller than 0.8?
True
Let y = -7532 - -7531.9. Is -1474 bigger than y?
False
Suppose 0 = -5*k + 16*k - 6699. Let a = k + 134. Is a at most as big as 743?
True
Suppose -2*r = -0*r - 4*q + 76, 4*r - 3*q + 137 = 0. Let n be (-6280)/r*(-1)/(-5). Let l = n + -39. Is 4 at least l?
True
Suppose 0 = -3*t + 35*t. Let z(f) = 12*f + 32. Let b be z(t). Which is smaller: b or 26?
26
Let b(i) = 5*i - 8. Let a be b(5). Let d(s) = -s**2 + 17*s + 15. Let n be d(a). Suppose 3*m - 51 = -2*v - v, 4*m + 3*v - 66 = 0. Do m and n have the same value?
True
Let c(q) = 29*q + 32 + 5 + q**2 - 12*q. Let t be c(-14). Let o be 28/(-112)*(t + 1). Do 1/84 and o have the same value?
False
Suppose -116 = -2*u + 4*k, -8*u = -13*u + k + 317. Suppose -444*s = -445*s + u. Which is smaller: 65 or s?
s
Suppose -q + 378 = -7*l + 11*l, 2*q = 4*l + 756. Let c = q + -602. Is -224 at most as big as c?
True
Let z = -1.68423 - 218.25777. Let m = z + 220. Are m and -1 nonequal?
True
Let k be 10/(-35) + -4 + (-2371)/7. Let l = k + 341. Let d(y) = y**2 + 8*y + 7. Let q be d(-7). Is q bigger than l?
True
Let z be (-58102)/((-2)/4*97). Let d = z - 1198. Suppose -4*a + 6 = t, -5*t = -0*a - 5*a - 5. Which is bigger: d or a?
a
Let v b