 smaller: x or -30?
-30
Let r(j) = -j**3 + 37*j**2 - 184*j + 6. Let v be r(32). Is v bigger than -1/3?
False
Let o(j) = -3*j**2 - 9*j + 15. Let y be o(-8). Let m = -125 - y. Let f = m - -51. Which is smaller: f or 2/5?
2/5
Let n(g) = -24 - g**2 + 3 + 9 + 1 - 8*g - 1. Let y be -4*(-2 - (-3)/1). Let s be n(y). Which is smaller: 7 or s?
s
Suppose 3*n - n - 3*s - 40 = 0, 3*s - 98 = -4*n. Suppose -3*b + 5*v = v - n, 0 = -4*v - 20. Are b and 17/8 non-equal?
True
Let b(h) = -77*h. Let p be b(-3). Suppose 35*f + 105*f - 10434 = 22046. Which is smaller: p or f?
p
Let t be (7/16989)/((-1)/2391) - -1. Which is greater: t or 1?
1
Let l = -271.43 - -271.24. Which is smaller: l or 109?
l
Let t = -0.06 - 14.94. Let b be 18538/1950*10/(-4). Let y = -145/6 - b. Which is greater: y or t?
y
Suppose -121 = 2*y - 4*c + 79, -278 = 3*y + 5*c. Let x = y - -235. Is 139 != x?
False
Let p be 1/(-3) + 531/783. Let g(y) = -5*y + 3*y + 7 - 4*y + 7*y. Let q be g(-8). Is q less than or equal to p?
True
Let f be (10/4 - 2)*-2 - 563. Let k be f/(-42) + -13 + (-41)/63. Suppose -4*n + 7 + 7 = -2*z, -2*n = -4*z + 2. Which is smaller: k or z?
k
Let x(b) = 3*b + 33. Let g be x(3). Suppose g = 4*l - 2*t + 208, 4*l + 181 = -3*t. Which is bigger: -45 or l?
l
Let t = -27351.8 - -27352. Which is bigger: 6129 or t?
6129
Suppose -116 = 160*p + 44. Which is smaller: 23/679 or p?
p
Suppose 44*i + 171*i + 33948 = -154*i. Which is smaller: -97 or i?
-97
Let u = 42 - 169/4. Let y = -0.0911 - -6.8011. Let k = -0.71 + y. Which is smaller: u or k?
u
Let n = 27 - 118. Let y = n - -98. Let v = -1.2 - 0.8. Which is greater: y or v?
y
Suppose -138*v + 57*v = 0. Which is bigger: -1/401 or v?
v
Let m = 746 - 669. Let p = 0.19 + -2.19. Are p and m equal?
False
Suppose 4*t + 15 = 3*s, 3*t + 2*s - 10 = -2*t. Suppose 4*g - 4*k = -5 - 3, -5*g + 3*k - 8 = t. Let a = -5/46 + 1/46. Are g and a unequal?
True
Suppose m = 2 + 12. Suppose 2*r - 4*g + 2 = -0, -3*r + 2*g + 1 = 0. Let d(f) = 12*f**2 + 2*f - 1. Let k be d(r). Which is bigger: k or m?
m
Let r = 5/2 + -2. Let w = -150 + 160. Suppose w*b - 10 - 10 = 0. Is r less than or equal to b?
True
Let h = -594 - -594. Let s = -251/7933 + -14620243/4521810. Let p = -33/10 - s. Is p greater than h?
False
Let x = -0.03219 + -58.96781. Do x and -4.7 have the same value?
False
Let f = 6838319/10322 - -3/5161. Which is smaller: 664 or f?
f
Suppose 12*j + 40 = 16*j - 4*g, g = 5*j - 30. Let q = 6221/1540 + -31/140. Which is greater: j or q?
j
Let g(p) = 32*p - 539. Let a(z) = -15*z + 269. Let s(f) = -7*a(f) - 4*g(f). Let k be s(12). Is -87 < k?
True
Let n be (2/(-3) - -2) + (-5 - 13668/(-9)). Which is smaller: 1517 or n?
n
Let i be ((-29)/4)/(6 - (-184)/(-32)). Let l = i + 62. Which is bigger: l or -1/3?
l
Let c be (4/(-8) + 1)*-38. Let r(p) = -p**2 - 14*p - 18. Let k be r(-13). Let h(s) = 4*s + 1. Let b be h(k). Is b less than or equal to c?
True
Let n be (-192)/(-60)*(-510)/(-4). Let k be 20/(-6)*n/(-5). Let w be 4/(k/(-60)) - 6/51. Which is greater: 62 or w?
62
Let p = -0.023 + 0.723. Let j = p + -11.7. Let z = -12 - j. Which is greater: z or -26?
z
Let h(w) = w**3 + 11*w**2 + 18*w + 14. Let r be h(-7). Let k be 1 - ((-2)/5 + r/35). Let g be 22/(-8) - k - (-5)/10. Is -2 greater than or equal to g?
False
Let i = 87633/17 + -5155. Which is smaller: 3/74 or i?
i
Let y = 4874 + -4879. Is -0.12 bigger than y?
True
Let v be ((2 - (-26)/(-4)) + 3)*2. Let x(p) = -3*p + 50. Let g(o) = 6*o - 99. Let w(c) = v*g(c) - 5*x(c). Let u be w(18). Which is smaller: u or -4?
u
Let h(r) = 13*r**2 - 7*r - 8. Let z be h(-1). Suppose 4*g + z = -k - 6, -4*k = 4*g + 12. Let y be (-12)/66 + 392/(-22). Is k bigger than y?
True
Let l(d) = -6*d**3 - 2*d**2 + 1. Let r be l(-1). Let w = r + -3. Suppose 10*q = 4*t + 6*q + 28, 2*t + 29 = 5*q. Is w less than t?
False
Let q be (-3)/((5 + (-54)/10)*60/144). Which is greater: q or -414?
q
Suppose 3*u - 6*u = -81. Let d be (-63)/81 - 6/u. Let x be d/(-9)*-3*3*1. Which is greater: -12/5 or x?
x
Suppose -24*t + 4 = -26*t. Let u be -3*(-14)/(-4 - t). Suppose -8 = -z - 29. Does u = z?
True
Let z(r) = 14*r**2 + r. Let m be z(-2). Let k(g) = g**2 - 50*g + 487. Let y be k(39). Is m not equal to y?
True
Suppose 40*h - 32 = 39*h. Let c = h - 29. Which is greater: c or 1?
c
Let a be 20/(-660)*(-4 - 2). Let s be (-150)/21 - (5 - 9). Which is bigger: a or s?
a
Suppose -5*h - h + 12 = 0. Suppose -4*a - 98 = -h. Let n be a/(-42)*14/12. Which is smaller: 1/3 or n?
1/3
Suppose 3*n + 2 = -r - 2*n, 5*r + 33 = -2*n. Let c(i) be the first derivative of -i**3/3 - 4*i**2 - i + 31. Let b be c(r). Is 3 < b?
True
Let w(j) = 3*j. Let n be w(8). Suppose g = -5*r + 32 + 78, r - 36 = -3*g. Let y = n - r. Which is greater: 4 or y?
4
Let z = 32648/5 - 6530. Which is bigger: -351 or z?
z
Suppose 8*f - 14*f + 5369 = -19*f. Is -408 not equal to f?
True
Suppose 65*w + 2532 = x + 70*w, 0 = 2*x - w - 4998. Which is smaller: 2507 or x?
x
Let c(h) = -h**3 - 68*h**2 - 70*h - 201. Let n be c(-67). Is 3/167 at most as big as n?
False
Let c = 226548 + -1586086/7. Let l = -70 + 34. Which is smaller: l or c?
l
Let n be -2 + (-2)/(-3)*9. Suppose 5*u + 5*m + 295 = 0, -n*m = -4*u - 0*m - 268. Is -64 smaller than u?
True
Let q be ((-19)/(-2))/(45/90). Suppose -19 = -9*y - q. Let g be (-2)/(-1) - 114/51. Which is smaller: g or y?
g
Let d be -8*(-21)/(765 + -9). Let g = -2458/9 - -274. Which is smaller: g or d?
d
Let o = -53/111 + 30/37. Let h = 54 - 79. Are o and h equal?
False
Let l = -2546 + 5168. Is 2620 at most l?
True
Let x = 5.0597 + -5.1. Let s = 1.1403 + x. Does s = -1/8?
False
Let v = -5163.8 + 5164. Is v less than 1/501?
False
Let t = 1016 + -925. Is 91 at least t?
True
Suppose -5 = -9*v + 4*v, 0 = j + 3*v - 6. Suppose 4*a - 2*b = j*a + 7, a = -4*b - 11. Let x = -38 + 3912/103. Which is greater: x or a?
a
Let a = -6 - -14. Suppose 0 = -a*h + 2*h + 1068. Is h <= 179?
True
Let m = -260868 + 260841. Let x(j) = -j - 5. Let h be x(5). Is m smaller than h?
True
Let q(z) = z**3 - 17*z**2 + 32*z - 15. Let j be q(15). Let g be 8/20*j/6. Let d = -3 + 10. Which is smaller: g or d?
g
Suppose 0 = 8*t - 5*t - 198. Let i = t + -10. Which is smaller: i or 50?
50
Let t = 60 + -59.1. Let b = -919 - -917. Which is smaller: t or b?
b
Let x = 126556 + -600949/5. Let f = x - 6314. Let n = f - 52. Which is smaller: n or 0?
0
Let k = 62 - -83. Suppose -140*b = -k*b - 25. Which is bigger: -3 or b?
-3
Let v(h) = 666*h + 5873. Let a be v(-7). Which is greater: 1209 or a?
a
Suppose 6*t = o + 72 - 44, -5*o = -4*t + 36. Let z be (70/(-3))/((-11)/(-33)). Are t and z nonequal?
True
Let c = -122 + 237. Suppose n = 4*a - 4*n + c, n = 3. Let y = a + 31. Which is greater: y or 4?
y
Suppose -25 + 10 = 2*i - j, -5*i - 5*j - 45 = 0. Let r be (-8*(-4)/(-27))/((-5)/(-30)). Which is bigger: i or r?
r
Let w = 13138 - 6477036/493. Which is greater: w or -1?
w
Let z = 344/31 + -9691/837. Which is greater: z or 1?
1
Let a = -0.0088 + -4.5612. Let u = a - -4.97. Which is greater: -0.3 or u?
u
Let z = 52 - 51. Let i be (96/18)/8*342/4. Let y = i + -56. Is y != z?
False
Let b = 125 - 307. Let l = b - -170. Is -8 equal to l?
False
Let f = -14906.37 - -14906. Which is greater: -0.044 or f?
-0.044
Let c be 1*-2*(-366228)/1152. Let q = c + -636. Are 1 and q nonequal?
True
Let z = -0.2013 + 8.6113. Let h = -8.427 + z. Let t = -25 + 76/3. Is h at least as big as t?
False
Let x be ((-33)/(-121))/(6/(-4)). Let n = 115.71 + -91.71. Is n at most x?
False
Let o = 81 + -88. Let v be ((-609)/6)/o + (-1)/2. Suppose 3*g - 5*b - 31 = -g, -g = 3*b - 29. Is v greater than or equal to g?
True
Let i = 1.58 + -1.08. Let k = 0.8 - -7.7. Let f = i - k. Which is bigger: f or 0.1?
0.1
Suppose -8 = -l - 5. Suppose 4*u = 5*s - 3, l*u = -s - 4*s + 24. Let x be (-9)/u - 159/(-51). Which is smaller: x or -1/4?
-1/4
Let a = 1647/14 + -117. Suppose 2*m - 4*f - 12 = 0, -2*m + 3*f - 6 = -16. Which is smaller: m or a?
a
Let y be ((-9996)/(-9))/34*(-6)/(-7). Is 28 equal to y?
True
Suppose -5*r - k = -24, -4*r + 3*k = 4*k - 20. Suppose r = f + 5. Let a = 1/5228 - 62759/120244. Which is greater: f or a?
a
Let n = 16 + 3. Let p = n - 17. Let k be p/12 - (-20)/(-156). Which is greater: k or 1?
1
Let y be 22/33 - (-14)/(-3). Let p be -7 + 6 - (y + 97). Which is greater: -93 or p?
