an 60?
True
Let v(m) = -2*m - 45. Let w(p) = -2*p - 44. Let z(r) = -2*v(r) + 3*w(r). Let g be z(5). Which is smaller: g or -54?
-54
Suppose 24*i = 13*i - 8*i + 228. Which is smaller: i or 65/8?
65/8
Suppose -2*q + 180 = -4*t + 6*t, 0 = 5*t + 4*q - 448. Suppose -5*g - 6*g = -t. Let k = -3/583 + 18085/2332. Is g smaller than k?
False
Let j = 358516.11 + -358516. Let k = 16630/33 + -504. Is k bigger than j?
False
Suppose 0 = -5*g + 4*z - 191, -27*g + 30*g + z + 101 = 0. Let n = -55 - -19. Which is smaller: n or g?
n
Let o = -2689253/265850 - -3/10225. Let u = -23/2 - o. Is 0 less than or equal to u?
False
Let u = 41560 + -956258/23. Which is bigger: u or -16?
-16
Suppose -a - 90 = -11*a - 8*a. Is -1/2 >= a?
False
Let k = 50.509 + -3.509. Which is smaller: 3 or k?
3
Suppose 4*q - 9 - 6 = 5*z, q = 2*z. Suppose -4*a - q = 22. Which is smaller: a or 0.14?
a
Let c = 35 + -14. Let w = 1680 - 1641. Suppose w = 6*h - c. Is 35/4 at most h?
True
Let b be ((-2)/15)/((-2)/80). Let m(t) = 12*t - 132. Let q be m(11). Suppose -5*g + 15 = q, -40 + 25 = -5*a + 5*g. Which is bigger: b or a?
a
Let d = 55 - 119. Let j = 61 + d. Let y = 5 + j. Which is bigger: 0.3 or y?
y
Let u = 61 + -61. Suppose -4*n + 4*b = -3*n + 10, -3*b + 6 = u. Is n less than -5?
False
Let b be 1/1*(-40 - -3)*(-243)/(-729). Let w(v) = -v**2 - 2 - 2 + 2. Let a be w(3). Which is bigger: a or b?
a
Let a be ((-84)/(-1))/(15/(-21)*20/(-90)). Which is smaller: 528 or a?
528
Let w = -253.9628 + -0.0372. Let r = w + 375. Let p = r + -115. Are -1 and p nonequal?
True
Suppose 2*x + 16 = -2*b, 4*x = -332 + 304. Is -30/3137 != b?
True
Suppose 20 = 4*r, 2*w = 2*r - 4*r - 148. Let o = w + 81. Suppose 3*s - 3 = o*s. Does s = 5?
False
Let y be (-10 - 0)/(1 + -3). Let g be y/5 + -199 - -2. Is g at most -196?
True
Suppose -2*l + 4 = -0*l, -2*i = -3*l + 10. Let v(o) = -o**2 + 18*o + 27. Let r be v(15). Let q = r + -85. Do i and q have the same value?
False
Let p = 429 - 738. Let r = 274 + p. Is -36 at most as big as r?
True
Let n = -2/303 - -46369/1515. Let c(o) = 206*o - 5942. Let y be c(29). Do y and n have the same value?
False
Let s = -133.3693 - -1.3233. Let m = -3.124 + s. Let d = m - -135. Which is smaller: 5 or d?
d
Suppose 4*i = 3*i + 33. Let w = -2445 - -2478. Is i greater than or equal to w?
True
Let w = -113 + 204. Suppose a - w = -95, -2*j = 4*a + 18. Is -2/1131 at least j?
True
Suppose 61*o - 63*o + 762 = 0. Let f = 4203/11 - o. Which is smaller: 1 or f?
1
Let v(u) = u**2 + 2*u - 6. Let l(w) = -42*w - 249. Let q be l(-6). Let x be v(q). Do 4 and x have the same value?
False
Let w be -3 + 0 + 0 + 56/12. Let o(l) = 14 + l**2 - 13*l + l - 2 + 2*l. Let r be o(9). Which is smaller: w or r?
w
Let l be (132/(-14))/1*5. Let a = 47 + l. Let k be (10/(-18))/(95/(-228)). Which is bigger: k or a?
k
Suppose 0 = -4*l + 19 + 1. Suppose -h = -4*c - 6*h + 46, -60 = -l*c - 5*h. Suppose 0 = 2*b - 20 - 8. Is b less than c?
False
Suppose -13 + 3 = -3*r + 4*k, 2*k = 2*r - 4. Let n be ((-5)/(15/126))/r. Suppose y + 8 = n. Is 11 <= y?
True
Let s = 5349 + -5348.9. Which is smaller: s or -734?
-734
Let p be (-84)/560*30110*(-4)/6. Which is smaller: p or 3016?
p
Let h = -529.31 + 522. Let p = -7.21 - h. Which is greater: -1.14 or p?
p
Suppose -s = -n + 1, 2*s - 3*s - 4*n - 21 = 0. Let l be 3/10*6 + (-1)/s. Let r be 0 - 2*l/4*0. Are r and -1 unequal?
True
Suppose 6*a - a = -10. Let c be (a/5)/((-3)/105). Suppose 8*t = c - 86. Is -10 at least t?
False
Let p = -3824 + 3818. Is 148 greater than or equal to p?
True
Let g be (-19 + 640/30)*3/7. Which is smaller: -7/909 or g?
-7/909
Let r = 89 - 133. Let x = -198 - -377. Let q be (-9)/(-12) - x/4. Is r greater than or equal to q?
True
Let m = -458 + 554. Let j = 132 - m. Which is greater: 106/3 or j?
j
Let y be (-559)/344*36/(-312). Which is smaller: y or -384?
-384
Let v be -5 + (-8)/(-6)*3. Let f be (-912)/(-1064)*7/(-4). Which is smaller: f or v?
f
Let n be (506485/14)/29*-6. Which is bigger: -7484 or n?
-7484
Let z = 0.32 - 3.32. Let a = 21731/5081281 - -2/22189. Which is smaller: a or z?
z
Let h be (-18)/(-36) + 93/2. Let d be 144/(-66) - 6/(-33). Let n be ((-1)/d + 0)*-1. Is h not equal to n?
True
Let k = -1130 - -1129.064. Let w = 0.07 + -0.134. Let x = k + w. Are x and -25 unequal?
True
Let f = 565187/15 - 37679. Let t = 1 - 0.9. Which is bigger: f or t?
f
Let t = -31166 + 31233.141. Let c = -0.141 + t. Let x = 28 - c. Which is smaller: x or 0?
x
Suppose 42 = -14*i - 56. Let x be (i - (-185)/25)/((-4)/85). Does x = -9?
False
Suppose 20*u - 2 = 24*u - g, 6*u = 5*g - 24. Is 13/196 less than u?
True
Let r(n) = 15*n + 63. Let l be r(-4). Suppose -l*s + 1326 = 10*s. Is s not equal to 102?
False
Let b = 760 - 670. Let n = b - 115. Which is bigger: 1 or n?
1
Suppose 2919 = 7*x - 0*x. Is x equal to 419?
False
Let u be 21072/170 - (0 - (0 + 4)). Let s = u + -128. Are s and 1 non-equal?
True
Let w(r) = -r**3 + 14*r**2 - 26*r + 23. Let m be w(12). Let c be (-8)/1946*(-1 - (-15)/(-6)). Is c less than or equal to m?
False
Let v = -9 - -9.08. Let w = -0.28 + v. Let g = -3.581 + 0.581. Are g and w unequal?
True
Suppose 2*o - 188 + 1357 = 5*c, 5*c + 4*o - 1187 = 0. Is 1173/5 bigger than c?
False
Let t = -2762 - -2879. Which is greater: 2/11 or t?
t
Let r = -0.022 + 0.09664. Is -1/4 greater than r?
False
Let g(y) = 2*y + 24. Let f be g(-10). Let k(a) = 5*a**2 - a - 18. Let v(i) = 6*i**2 - 17. Let p(n) = f*v(n) - 5*k(n). Let h be p(8). Which is smaller: h or -3?
-3
Suppose 4*s + 17132 = -4*m, 17112 = 137*s - 141*s + m. Is -4279 greater than or equal to s?
True
Let t(u) = 2*u + 34. Let o be t(-15). Suppose 5*r + 4*w = -26, 0*r + 3*r + 14 = -o*w. Are -19 and r nonequal?
True
Let x(q) = 21*q**2 - 24*q + 24. Let r be x(1). Suppose r*u + 3*u - 120 = 0. Suppose 0 = w - 2 + 1. Which is bigger: u or w?
u
Let b be 310/(-620)*(1 + 11*57). Which is smaller: -310 or b?
b
Let m(b) = b**2 + 8*b - 10. Let w be m(-9). Let c be ((16 + -22)/54)/(86/(-4)). Is c smaller than w?
False
Let c(y) = -22*y - 117. Let o(r) = -68*r - 352. Let i(b) = 16*c(b) - 5*o(b). Let g be i(-8). Is g less than or equal to -15?
True
Let o = -59 + 87. Let v be (o/9 - 2)/((-52)/24). Which is smaller: -2 or v?
-2
Let v be 19/28 - 165/385. Let u = 1/6 - v. Do 0 and u have different values?
True
Let q = -9144 - -9075. Let d = 0 - -4. Suppose -3*t + 265 = -4*x, -d*x + 4*t - 275 = 3*t. Does x = q?
False
Let c be 36/(-10)*-1 - (-3)/(-5). Suppose 2*d - 10 = b, 0 = 2*d + c*d + 4*b - 12. Suppose 4*y + d = 4*f, -3*f + f + 4*y - 6 = 0. Is f smaller than 6?
True
Let o be (-77 + 4 + (-6 - -4))/1. Let m be (-60)/o + 31/5. Let w = -4/465 - -14431/1860. Which is greater: w or m?
w
Suppose -5*i - y = 3*y, 4*i - 3*y = 0. Suppose 0*g - 3*g + 12 = i. Let w be 11 - 4 - 4 - g - 3. Which is bigger: -3 or w?
-3
Let q = -117.5 + 11.5. Let s = q + 105.7. Which is smaller: -0.1 or s?
s
Let n(k) = -4*k**3 + 9*k**2 - 11*k + 129. Let j be n(6). Which is smaller: -467 or j?
j
Let r = -16.103 - -119.103. Let w = 2.56 + -110.56. Let z = r + w. Are -0.02 and z nonequal?
True
Let i be (341/62)/(44/8). Is i at most 32?
True
Let i be 4*((-4)/(-5))/(40/(-13500)). Is -1080 bigger than i?
False
Let p = -96923/60 + 4840/3. Let j = 511/20 + p. Is 25 less than j?
False
Let r be (-1)/((-1)/(198/(-255))). Let u = r - -6233/255. Is u bigger than 23?
True
Let g = 5.7 - 4.08. Let v = g - -55.38. Which is bigger: 1/4 or v?
v
Let j(t) = 17 + 5*t + 0*t - 3*t - 6*t + 2*t. Suppose -10 = -3*z + z, 5*z = -p + 29. Let l be j(p). Is 7 >= l?
False
Let w = 2584967/3312 - 7024/9. Which is greater: 0 or w?
w
Suppose -2*x + 4*w - 2 = 0, -17 = -x - 4*w - 12. Let n = -114053/48 + 2376. Is n at most x?
True
Let m = 0.8479 - 346.1479. Let i = 331 + m. Which is smaller: i or 1?
i
Let j = 527 - 213. Let i = j - 1504/5. Is i smaller than 14?
True
Let o = 121 - 70. Suppose -2*q = -5*m + 116, 3*q - o = -5*m + 50. Let t be (-142)/(-1065)*(162 + 0). Which is smaller: m or t?
t
Let z be -4 + 240/56 + (-7)/(49/(-10428)). Do 1495 and z have the same value?
False
Let y(k) = -k**2 + 21*k - 27. Let n(t) = -5*t + 13. Let w be n(-2). Let r be y(w). Let l = 109 + r. Which is smaller: 35 or l?
35
Let v = -17 - -55/3. Let l be 1*8/3*(-9)/2. Let r be (l/(-24) + (0 - 0))*2. Do r and v have the same value?
False
Su