is greater: v or 1624?
1624
Suppose 33*q + 240 = 90*q + 1209. Which is bigger: q or 22?
22
Let p = 3962 - 3826.45. Let f = p - 135. Which is smaller: f or 0?
0
Let i be 0 - (0 + 2) - -2. Let l be -8 + 11 - 1/(-2 - -1). Let n be l/(-6) - 22/(-21). Are i and n nonequal?
True
Let y be (-43 + 1)*(-5)/15. Let g be (-4)/y + 264/826. Which is greater: 1 or g?
1
Let y = -3113 + 3107. Do y and 273 have the same value?
False
Let u = 0.0801 - 38.4801. Let f = 2 - 42. Let p = u - f. Which is smaller: p or 0?
0
Suppose 40*p - 57 = 41*p. Let j = p + 57. Suppose -v + 7 + 10 = 0. Which is greater: v or j?
v
Let y(z) = 8*z**3. Let c be y(-1). Let o = 39 + -39. Suppose 0 = -2*f + 4*m + 8, 4*f + o = -5*m - 36. Which is greater: f or c?
f
Suppose 598*q - 623*q = -7700. Which is bigger: 7086/23 or q?
7086/23
Let j be (-256)/(-1998) + 134/(-2479) - 58/54. Is j <= 4/1255?
True
Suppose -7*g = -13*g. Suppose g = 8*y - 59 + 3. Which is smaller: y or 3?
3
Let p = -4193.1 + 4193. Does -8/55 = p?
False
Let p = 15248 - 4559162/299. Are p and 1 non-equal?
True
Let c = -5546 + 5509. Which is bigger: -0.9 or c?
-0.9
Suppose -77 = 2*y - 3*y - 3*c, 0 = -3*y + 4*c + 257. Let b(h) = 4*h**2 - 197*h - 67. Let f be b(50). Let d = y - f. Is d <= 1?
True
Let u be 0 + 4/(4/525). Let f = 3139/6 - u. Let a be (-154)/1001 + (-120)/(-273). Which is greater: f or a?
a
Suppose 3*w + 2*i = 3, -w - 7 - 9 = -5*i. Suppose -48*n - 12169 = 123*n - 541. Which is smaller: n or w?
n
Suppose 9 = -2*t + 29. Let y(o) = 8*o**3 - 105*o**2 + 19*o - 65. Let a be y(13). Which is smaller: a or t?
t
Suppose -3*k = 4*s + 8651, 5*k + 278*s + 14500 = 283*s. Is 0.2 less than k?
False
Let s = -6213/2987 - -438/103. Let k = -2036 - -2038. Is k < s?
True
Let j(x) = -12 - 14*x**2 + 3*x - x**3 + 2*x**3 + 15 - 2. Let g be j(14). Is 46 greater than g?
True
Suppose -56 = 30*q - 2*q. Let i(f) = -2*f**3 + 3*f**2 + 2*f - 2. Let n be i(q). Which is greater: n or 27?
27
Let v = 39523/2481394 + -10/661. Which is greater: 0 or v?
v
Let k(o) = o**3 + 10*o**2 - o - 10. Let s = 38 - 48. Let l be k(s). Suppose -5*c + l*c + 3*j - 4 = 0, -4*c - 2*j - 12 = 0. Which is smaller: c or -7/9?
c
Suppose -3*q - 3*h + 12 = 0, -4*h = -2*q - 5*h + 5. Which is bigger: q or -62/363?
q
Let j = 49048 + -48606574/991. Do 0 and j have the same value?
False
Let i = -73.81 - -73.81. Is 3/64 less than or equal to i?
False
Suppose -171 = 2*o - 1399. Let l = -601 + o. Suppose 3*n - 6*n = 5*u - 42, 3*u = -4*n + 23. Is l bigger than u?
True
Let j = 11 + -10. Let l be 3/(12/80)*j. Suppose -5*x = 5*g - 50, -6*g + 4*g - 3*x = -l. Is g at least as big as 0.2?
True
Let r = -40328036064/43 - -30196628691653/32207. Let p = 281626 + r. Let a = -3/107 - p. Which is bigger: -0.048 or a?
-0.048
Let y = 1227.8 - 1228. Let m = -21 - -19.6. Which is greater: y or m?
y
Let v(x) = -2*x + 10. Let q be v(7). Let g = q - -3. Let a be -1 - (15/(-30))/(7/4). Which is bigger: a or g?
a
Suppose 4937*b - 2142 = 5063*b. Let k(x) = -23*x + 1. Let y be k(1). Which is smaller: b or y?
y
Let h(q) = q**2 - q. Let g be h(-2). Suppose -2*o + f + 3*f + 412 = 0, o + 3*f = 221. Let c be o/2438 + (-188)/46. Which is smaller: g or c?
c
Let s = 90.9455 - -0.0545. Let p = s + -90.973. Which is smaller: 2/7 or p?
p
Suppose 2 = -20*o + 82. Suppose -4 = o*g, 5*a + 53 + 79 = -2*g. Let w(p) = 5*p + 3. Let n be w(-6). Are a and n equal?
False
Let h(w) = w**2 + 39*w - 1183. Let x be h(-59). Let g be (2 + (-16)/3)*(-6)/(-4). Is g bigger than x?
False
Suppose -5215*a - 25080 = -5203*a. Is -2083 equal to a?
False
Suppose 0 = 2*d + z - 0 + 243, -2*d = -4*z + 268. Which is smaller: -117 or d?
d
Suppose 0 = 3*o - 10*o + 1932. Let z = o + -276. Is z greater than -30/49?
True
Let c be 5600/(-650) + 6/9. Do -8 and c have the same value?
False
Let m = 19.552 - 19.3. Let h = -3.252 + m. Which is smaller: h or -8/5?
h
Suppose -2*g + i - 1 = 0, 0 = -26*g + 24*g + 2*i - 4. Which is bigger: 1/2197 or g?
g
Suppose -5*h + 4*p = 254, 56 + 48 = -2*h + 4*p. Let x be (-3)/((-81)/h)*1518/(-92). Is x at most 30?
False
Let r = 1621828/494475 + 2/19779. Let a = -17908/5475 + r. Which is smaller: a or 1?
a
Let a = 215 + -3271. Is -21384/7 at most a?
False
Let i = -227 - -366. Let t = i - 139.1. Do -101 and t have the same value?
False
Suppose 0 = 5*k - 9 - 56. Suppose 0 = 5*g + i - 1, 0 = 6*g - g + 5*i - 5. Suppose 0 = -2*v - 3*d + 19, -4*d + 6*d + 6 = g. Is k at least v?
False
Let r be 4/(-8)*6 - (28848/45)/8. Is -83 bigger than r?
True
Let c(v) = 4*v - 70. Let b be c(18). Let n be -2*b/(-4)*-1. Which is smaller: 2/299 or n?
n
Let r be (-48)/(-3 - -11) + (-18 - -18). Which is smaller: -1648 or r?
-1648
Let p = 114779/3 - 39409. Is p at most as big as -1150?
False
Let g be -1 + ((-50)/(-5))/(32/(-500)). Which is greater: g or 1?
1
Suppose -3*g + z - 275 = 0, 0 = -0*g + g + 3*z + 105. Let t be (-1 + g/(-90))*(-840)/(-96). Do t and -1 have the same value?
False
Let v = 72.1021 + 0.0979. Let n = 80.2 - v. Which is smaller: n or 14/5?
14/5
Let j = 36 - 26. Let u(z) = 11*z**2 - 10*z + 5*z + 4 - 3*z + 14 - z**3 - 30. Let f be u(j). Which is bigger: 0.5 or f?
f
Let r = 237.5 + -322.5. Is -0.1 at least r?
True
Let h be 1*0*(-2)/(-4). Let f = -416.6 - -81.6. Let k = 356 + f. Is k bigger than h?
True
Let d = -14449/6 + 2401. Let k = d + 20/3. Which is bigger: k or 90?
90
Let n be -3*(-1)/6*(-1800)/(-4950). Let q(l) = -l**2 - 9*l - 8. Let i be q(-6). Suppose -2*j = -y + i, 3*y = y + 3*j + 15. Do n and y have the same value?
False
Let r be ((-11478)/(-21))/(180/(-252)). Which is smaller: -766 or r?
-766
Let d(l) = l**3 + 8*l**2 + 12*l - 1. Let i be d(-6). Let x be (-3 - (-282)/92)/((-96)/64)*4. Which is smaller: i or x?
i
Let v be (31886/(-1070))/(3/(-45)). Is 455 != v?
True
Suppose -43*h + 42*h - 7 = -5*c, -3*c + 3 = -h. Let s(b) = 3*b**3 - 4*b**2 + b. Let d be s(2). Which is smaller: h or d?
h
Suppose 0 = -21*s + 30*s - 36. Let q be (-10 + (-556)/(-56))/((-22)/s). Which is smaller: 0 or q?
0
Let i(z) = -4*z - 57. Let h be i(-28). Let s be (-4)/(-5 + h/15). Let d be (-1)/2*s*(-153)/(-81). Which is smaller: d or -2?
d
Suppose -4 = -h + 1. Suppose 0 = -h*c + y - 15, c + 3 = -0*y - 5*y. Let l be (0 - 3/(-162)*c)*4. Which is greater: l or 1?
1
Let s(i) = 3*i**2 - 32*i + 47. Let o be s(9). Let t(v) = 24*v**2 - 2*v - 1. Let u be t(-1). Suppose y - 58 = 4*x, -y = o*x - 71 + u. Which is smaller: 49 or y?
49
Let c(l) = -l**3 + 14*l**2 + 12*l + 47. Let s be c(15). Let m be (-1 + s)/(-11*1/(-2)). Which is bigger: m or 5?
5
Suppose 4*g + 5*j + 33 = 0, 5*g + 43 = -5*j + 8. Let s be (g - 12/(-9))/(12/(-54)). Is 36/13 smaller than s?
True
Suppose 7*x - 119 = 343. Let w be x/18 - (-1 + 4). Which is smaller: w or 3/44?
3/44
Let r be 17/(-170) + (17913/(-390))/(-7). Which is smaller: -3/4 or r?
-3/4
Suppose 3*x = -17*x - 4327 + 91707. Is 4368 not equal to x?
True
Let w = 13.1893 - 0.1893. Is 111 smaller than w?
False
Let a = 0 + -2. Let f = -20181 - -20235. Which is smaller: f or a?
a
Let j(p) = p**2 - 7*p + 18. Let i be j(4). Suppose -341 - 145 = i*r. Is r at least as big as -81?
True
Let d be (-2)/(-5) + (-63)/(-5). Suppose 640*q - 636*q = 712. Suppose -24*r + q = -182. Is r equal to d?
False
Let h = 53 - -38. Let f = 111 - h. Let q(n) = -n**2 + 19*n + 19. Let k be q(f). Which is smaller: k or -2/147?
k
Suppose 2 - 22 = 2*y. Let c = 24 + 16. Let q = c + y. Do q and 31 have the same value?
False
Let r be -13*1*1/(-9)*-423. Which is greater: -3665/6 or r?
-3665/6
Let j = -4127 - -4126.293. Is -2/9 < j?
False
Let o = -16 + 1. Let q be 10 + -5 - (-6 - -1). Let w be ((-2)/q + (-9)/180)*1. Which is smaller: o or w?
o
Suppose 243*u = 248*u - 1805. Let r = u + -532. Is -172 at most r?
True
Let w = -1227 + 94477/77. Let b be (-345)/20*-1 + (-1)/4. Let z be ((4/(-6))/(b/51))/2. Which is smaller: z or w?
z
Let y(r) = -26*r**2 + 14*r + 15. Let b be y(-1). Let s be ((-45)/b)/9*2. Is s at least -24/19?
True
Let n be (-3 - -4)*(0 - 6). Let d be 1/(n/(-4068)*-3). Which is greater: d or -225?
-225
Let m = 14 - -2. Suppose -c - m*c + 34 = 0. Is 2 smaller than c?
False
Suppose -25*y - 7890 = -8*y + 5387. Are -773 and y nonequal?
True
Let j be 1*-4*(-58)/8. Let a = -1/409 + 22497/818. Is a greater than j?
False
Let a be (-85)/(-25) + (-4)/10. Suppose -3*h + 14 = 2, 4*h 