r 44?
44
Let n be (-1)/(5/(-2)) - (-297)/45. Suppose -b - n*b = -24. Suppose -3*v - b*f - 9 = f, 9 = -3*v - f. Which is smaller: v or -10?
-10
Suppose -5*p + 4*g + 32 = -0*p, 0 = 4*g - 8. Suppose 4*w = -2*s + 26, -4*w + 5*s - p + 41 = 0. Suppose -5 = 2*l - w*l. Is l bigger than 1?
False
Let b be (12/9)/((-4)/6). Let f = 3767/527 + -238/31. Which is greater: f or b?
f
Let z = 79/15 + -33/5. Suppose 4 = -o - 4*i, -20 = 2*o - 6*o + 2*i. Suppose r = -2*r - t + o, -3*t = 3*r. Which is greater: z or r?
r
Let x(t) = -65*t - 158. Let f be x(-3). Let s = f - 110/3. Let p = -1 + 1. Is s bigger than p?
True
Suppose -l = 3*j - 22, -j - 5 = -3*l - 19. Suppose 0 = 4*y - 2*r - 72, -3*r + j*r - 75 = -5*y. Is y < 17?
False
Let d be (-131)/2*-4 - 2. Let k be (-9)/(-15)*d/(-28). Suppose 3*x + x - 5*i = -28, -5*x = -4*i + 35. Is x equal to k?
False
Let z = 1.1069 + -0.9502. Which is greater: -0.1 or z?
z
Suppose -25*b + 2*b = -92. Let n be ((b - 9)/5)/(3/24). Is n at least -12?
True
Let o = 0.1 - 0.2. Let b = 10527 + -10527.3. Which is bigger: b or o?
o
Let p = -119262335 - -7876680915512/66045. Let d = -4/777 - p. Which is smaller: d or -1?
-1
Let c be ((-133)/(-114) + (-4)/(-24))*(-69)/(-2). Which is greater: -30 or c?
c
Suppose 0 = -4*d - 1068 + 1016. Is d at least 5?
False
Let r(k) = 1265*k - 977. Let a be r(3). Is a smaller than 2818?
False
Let q = -354 + 599. Let c = q + -324. Which is bigger: -80 or c?
c
Let p = -17597 - -17417. Let n = 353 - 533. Is p != n?
False
Suppose 5*g - 3*s = 5, 5*g + 5*s - 34 = -29. Which is smaller: -14/467 or g?
-14/467
Let g(i) = -i**2 + 80*i + 3317. Let a be g(-33). Which is smaller: a or -415?
-415
Let p(r) = -13 + 5 + 4*r**2 - 3*r**2 - 2*r. Suppose -596*q + 594*q - 4 = 0. Let i be p(q). Which is greater: i or -3/25?
i
Let g = -48 + 31. Let w = 3/49771 + -5823228/348397. Does g = w?
False
Let v = 172282 + -1548890/9. Which is smaller: v or 184?
v
Let g be (((-132)/(-12) - 11)/(-1))/(6 + -15 - -5). Suppose 0 = 2*h - 0*h - 2000. Let v = h - 37002/37. Is g greater than or equal to v?
True
Let s(m) = m + 19 + m - 20 - m + 13 - m**2. Let y be s(4). Which is greater: y or 28?
28
Let a be 83 + 0 - (45 + -39). Which is bigger: 463/6 or a?
463/6
Let n(p) = -p**2 - 8*p + 8. Let r be n(-8). Let f be (-4 - -9 - r - 0) + 10. Which is greater: 19 or f?
19
Let p = 7112 - 6883. Do 235 and p have the same value?
False
Let a(h) = h**2 - 16*h + 27. Let o be a(19). Suppose 3*q + o = -q. Let g(k) = -k**2 - 20*k + 20. Let c be g(q). Is c > -35?
True
Suppose -6*t + 3 = -5*t. Let i(j) = -j**3 - 4*j**2 + 31*j + 116. Let x be i(-6). Which is smaller: t or x?
x
Let u(a) = a**3 + 26*a**2 + 164*a - 14. Let p be u(-15). Is p at least as big as 1/17609?
True
Suppose -4*x = b - 444, -2*b - 444 = 9*x - 13*x. Which is greater: x or 112?
112
Let h(l) = 17*l**3 - 12*l**2 + 12*l + 14. Let j be h(14). Let p be (-2)/9 - (-10136)/j. Let n = -557/700 + 51/100. Is n at most as big as p?
True
Let k = -3035/3 + 1037. Suppose 5*p - 2*f = 110, -4*p + 0*f + 71 = -5*f. Is p bigger than k?
False
Suppose 49*l - 45*l - 156 = 0. Suppose l*b = 38*b + 1. Let z be -2 + 245/63 - (b + -1). Which is bigger: z or 1?
z
Let j be (-4*(-4)/(-8))/(22/24). Let u = -74 - -151. Let r = u - 80. Which is bigger: r or j?
j
Suppose 0 = -19*a - 3529 - 309. Which is smaller: a or -181?
a
Let j be 128/6580*((-53)/265 + 23/(-10)). Which is greater: 1 or j?
1
Let d be 2/10 - (-3 - (-168)/15). Let n(q) = -38*q - 302. Let b be n(d). Are 18.4 and b unequal?
True
Suppose -76*l = -65*l. Which is smaller: l or 66?
l
Let t be (393/9)/((-5)/(-15)). Let y(i) = -10*i + 441. Let r be y(31). Is t < r?
False
Let c = 631 - 566. Let w be (-36)/16*16/3. Let u(n) = n**2 + 7*n + 4. Let z be u(w). Is z equal to c?
False
Let h(g) = g**2 - 7*g - 4. Let l be h(8). Suppose 4 + 12 = -l*t. Let k = t + -4. Which is smaller: -9 or k?
-9
Suppose 2 - 1 = 5*c + 4*g, 2*g = -2*c. Suppose -2*o + 12*s + 14 = 9*s, 26 = 2*o + 3*s. Suppose 5*x + o = 3*b, 3*x - 7*b + 17 = -3*b. Is x bigger than c?
False
Let q = 10.9 + -10.8. Suppose -20*z + 56 = -16*z. Let y = -4 - z. Is q bigger than y?
True
Let v(t) = -2*t**3 + 14*t**2 - 16*t - 4. Let s be v(5). Suppose s = -8*r + 8. Let h be -4 + 1 + 34 - r. Is 32 equal to h?
True
Let v = 0.006 + 0.159. Let q = -15 + 15.035. Let z = q + v. Is z equal to 0.07?
False
Let j(q) = 29*q + 3. Let l be j(4). Suppose 182 = 3*b + 2*x, -2*b + 2*x - x = -l. Suppose 189 = 4*f + 3*r, -30*r = 8*f - 31*r - 497. Does f = b?
True
Let k = 138 + -137.664. Let q = 0.236 - k. Is -381 >= q?
False
Let k be (-23478)/3192 - (2 + (-80)/38). Let y = 44 + -51. Do y and k have different values?
True
Let j = -404 - -263. Let x = j + 148.7. Which is smaller: x or -2?
-2
Let r = -4.1 + -0.9. Let k = -94.167 + 0.167. Let t = 93.6 + k. Is t < r?
False
Suppose 705*p = 217539 - 282472 - 616097. Is p equal to -972?
False
Let h(q) be the first derivative of q**4/4 - 4*q**3/3 - 3*q - 1. Let c be h(4). Let i be -10*1/(((-390)/(-12))/13). Which is bigger: i or c?
c
Let v be (76/(-5586))/((-3)/21) - (-64968)/63. Which is bigger: v or 1031?
v
Let g = 20425 + -18224. Is 2203 smaller than g?
False
Let z(g) = -g**3 + 14*g**2 - 6*g + 5. Let f be z(13). Let w = 86 - f. Does -19 = w?
False
Let s = -33 - -39. Suppose s*p + 27 = 231. Suppose -5*g + 78 = 3*o, 4*o + p = 2*g + 8*o. Is g greater than or equal to 14?
True
Let a = 379 - 324. Suppose -223 = 4*w - a. Which is greater: -43 or w?
w
Let w = -76 + 136. Let d = 532 - 467. Which is smaller: d or w?
w
Suppose -4*w + w - 27 = 0. Let r(v) = -5*v + 42. Let u be r(8). Suppose -7*i - 72 = -u. Is w > i?
True
Let d be (-7953)/(-363) - (4 + (-270)/66). Which is smaller: d or -21?
-21
Let c = 62 + -61.979. Let v = c + -56.821. Let n = -57 - v. Which is smaller: 0.03 or n?
n
Let f be 4*2/4*(5 + -3). Suppose d + 0 - 18 = f*j, 4*j = -16. Suppose 0 = -d*a - 8 + 2. Do -11/7 and a have the same value?
False
Suppose 0*q = 3*q + 18. Let k be (q - -7) + 29/6. Is 7 smaller than k?
False
Let g(c) = -c**2 + 5*c - 3. Let t be g(4). Suppose -5*h + 5 = 3*l, 3*h - t = 2*h - 4*l. Let q be -2*(-4 + 6)/356. Do q and h have the same value?
False
Let z(m) = 22*m - 59072 + 10*m**2 + 9*m**2 - m**3 + 59033. Let o be z(20). Is o < 15/7?
True
Let t = -7503/19 - -395. Suppose -20*y - 43*y - 50*y - 113 = 0. Is y bigger than t?
False
Let t = 280 + -92. Let u = 183 - t. Do 3 and u have the same value?
False
Let v = -1464 - -1464. Is 2/10323 equal to v?
False
Let i be 63/7 + (-3 - 8). Let q = -249 + i. Is -250 bigger than q?
True
Let x be ((-4)/6)/(656/24231). Let u = x + 16689/680. Which is smaller: u or -1?
-1
Let y = 126621 + -126617. Suppose 0 = 5*x + 6 - 81. Do y and x have the same value?
False
Let m be (-28)/(-4) - (-2 + (-80)/(-8)). Which is bigger: -43/100 or m?
-43/100
Let x be ((-6)/4)/((-4)/(-16)). Let q(u) = -5*u**2 - 10*u**2 - 2*u**2 - 5*u + 15 - 9*u**2 + 24*u**2. Let d be q(x). Which is smaller: -1/2 or d?
d
Let d = -163 + 162.61. Let z = d - 0.31. Let g = 72 - 71.96. Is z at least g?
False
Let g be (-312)/5 - 2/(-5). Let r be 6/(-90) - 6503/105. Are r and g nonequal?
False
Suppose 0 = -4*t - 4*h - 1280, 3*h = -t + 152 - 482. Do t and -315 have different values?
False
Let y = 311 + -204. Let k = -89 + y. Let u = -63 + k. Is -45 less than u?
False
Let q = 90 + -63. Let k = q + -27.11. Let h = 102 + -104. Is k greater than or equal to h?
True
Let r = 246/1631 - 583/14679. Let w(b) = -b**2 - b - 2. Let c be w(0). Is r at least as big as c?
True
Suppose 2*y = y. Suppose -161*m = -164*m + 48. Let t be (6/m)/(30/50). Which is smaller: t or y?
y
Suppose 0 = 2*t - 3*q + 10, 36 = -t - 4*t + 2*q. Let s(c) = -c**3 - 30*c**2 + 31*c. Let x be s(-31). Suppose x = -4*d - 16. Which is bigger: d or t?
d
Let t(v) = 1077*v + 9655. Let m be t(-12). Which is smaller: m or -3265?
m
Suppose -3539 = 11*z - 3264. Are -3/43 and z unequal?
True
Suppose 409*k - 411*k + 2 = 0. Which is smaller: k or 1/1312?
1/1312
Let q = -1686 + -942. Is q at least -2627?
False
Let p be 1039/9 + (-4)/54*6. Suppose 20 + p = -15*s. Do s and -2 have the same value?
False
Let y = 3327/7 + -474. Let h be (-22 - -17)*(-19)/(-5). Let q = -19 - h. Which is smaller: y or q?
q
Let n = 27.8 - 142.8. Let f = 115.08 + n. Is f not equal to 4?
True
Suppose -318*v + 281*v = 12395