er: 5271 or g?
5271
Suppose 5*s = -0 + 70. Let p be s/(-2) - -4 - -8. Suppose 3*i - 5*q + 24 = 4*i, -p*i = -5*q + 30. Is -2 greater than i?
False
Let t = -11085 + 11076.459. Let g = t + 3.567. Let m = g + -0.026. Which is greater: m or -1?
-1
Let x = 7.496 + -7.91. Which is smaller: 2 or x?
x
Let h be ((-6)/(-3)*-1)/((-2)/6). Let l be -1*h/14 + (-33)/(-77). Is l <= -1/88?
False
Let p = 17 - 19. Let c(r) = -2*r**2 + 5*r - 20. Let z be c(5). Let b = z + p. Is b not equal to -47?
False
Suppose 0 = 9*j - 2537 - 208. Let p = j + -357. Which is greater: p or -54?
p
Let w be (-6*75/364)/((-342)/(-1197)). Which is smaller: -4 or w?
w
Let g = -20.9 - -26.9. Let l be ((-7 - -5) + -1)*10/(-2). Suppose 0 = 17*d - l*d. Which is bigger: g or d?
g
Let z = -21953 + 21953. Which is smaller: z or -4/2263?
-4/2263
Let a be (-4)/2 + (-4)/12. Suppose 8*d = 59 - 19. Suppose 2*u - 6*p = -3*p - 19, 0 = -3*u - d*p + 19. Do u and a have the same value?
False
Let s(x) = -16*x**2 - 494*x + 992. Let k be s(2). Which is bigger: k or -119/2?
-119/2
Let o = -48 - -60. Suppose 6*c = o*c - 30. Suppose -c*u + 21 = -4*u. Which is greater: u or 20?
u
Let j = -683 + 471. Let b = -209 - j. Which is smaller: b or 8?
b
Let w = 17449 - 17443. Is w at most 490?
True
Suppose 0 = 16*z - 1087 - 2513. Do z and 240 have the same value?
False
Let p(q) = 2*q**3 + 33*q**2 + 45*q + 283. Let w be p(-19). Are -2377 and w equal?
True
Let t be -2 + -2 + (-24)/(-3) - (-1 + -332). Is 3702/11 equal to t?
False
Let z be 16/(-24) + (-224)/(-6). Let j = z + -38. Let o(p) = p**3 + 17*p**2 + 2*p + 33. Let i be o(-17). Which is smaller: j or i?
j
Let j(p) = p + 7. Let r be j(-5). Let v be (r*(-1 - 0))/((-4)/166). Let d = -247/3 + v. Does -1/4 = d?
False
Suppose 2*f + 93 = u + f, -99 = -u + 4*f. Let o = 272/3 - u. Let h = -0.12 + -23.88. Is h < o?
True
Suppose 6*t - 5*w - 293 = 4*t, -w - 289 = -2*t. Let v = -4033/28 + t. Is 1 < v?
False
Suppose -18*p + 984 = -30*p. Does p = -78?
False
Let k be (-37218)/201 + -3 + 4. Let c = -281349/1943 + k. Let q = -329 - c. Is -1 equal to q?
False
Let z be (-24)/(-15) + 9/(180/8). Let d(t) = -6*t**2 - 2*t**3 + 2*t**2 + 2*t + t**2 - 2 + 3*t**3. Let o be d(z). Which is bigger: -9/16 or o?
-9/16
Suppose 0 = 5*s - 5*a + 5, 4*s + 2*a - 29 = -3. Let g be 4/(s - 12) - (-49)/10. Let c = g + -107/25. Which is smaller: 0 or c?
0
Let m(k) = k**3 - 62*k**2 - 264*k. Let p be m(66). Do p and -23/237 have the same value?
False
Let y be (-1)/(36/(-57)) - ((-104)/(-32) - 2). Is y at least as big as 4829?
False
Let i(h) = 1707*h**2 + 54*h - 46. Let u be i(3). Which is greater: u or 15478?
u
Suppose -2*c + 12 = -2*d, 6*c = 10*c - 20. Which is smaller: -5/2871 or d?
d
Let k = -470 - -1021. Let o = k + -2721/5. Is 6 at least o?
False
Suppose -127*t + 181305 = 10*t - 23099. Which is smaller: 1489 or t?
1489
Suppose i + 4*c = 7*c + 50, -3*c = 2*i - 55. Let m be ((-8)/i)/((-4)/(-10)). Let n = -2803 - -2807. Is n at most m?
False
Suppose -3*u = -q - 6, -7*q = 2*u - 5*q - 12. Suppose 5*l = 6*r - 2*r - 154, 0 = 2*r - u*l - 78. Is r at most 34?
False
Let v = -12941 + 12941.142. Is v bigger than 3?
False
Let g(t) = 119*t + 25. Let w be g(-5). Let s = w - -475. Which is bigger: s or -97?
s
Let c be (12/4 - -1 - 3) + -5. Let b be c/10 + (-9)/15. Let p be (2 + 0/b)*20/380. Which is smaller: 0 or p?
0
Let s be ((-16)/30*1)/(1612/(-130)). Let u(p) = -p**3 - p - 1. Let l be u(-1). Which is smaller: s or l?
s
Let w be (-4)/(-94) - 206667206/42629. Which is smaller: w or -4845?
w
Suppose 0 = -7661*z + 7677*z + 145088. Do -9067 and z have different values?
True
Let k be (-850 - 1)/(612/(-510) + (-1)/(-5)). Is 860 not equal to k?
True
Let f = 21914/69 - 581/23. Suppose 0 = -2*h - 298 - 318. Let b = h + f. Which is smaller: -17 or b?
-17
Suppose 22*a - 67 + 89 = 0. Is a bigger than 94.2?
False
Let t be (-31)/(155/(-10)) - (-1)/((-2)/(-294)). Which is smaller: t or 150?
t
Suppose s + 2*c - 51 = -2*s, 2*s - 33 = -c. Suppose -6*a = -9*a + s. Suppose -5*m - 2 = 4*o - 0*m, -a*o - 5*m = 5. Which is smaller: -7/4 or o?
o
Let g(o) be the third derivative of -43*o**4/24 + 25*o**3/2 - 59*o**2 - 1. Let t be g(7). Does t = -226?
True
Let t be (8/14)/(1400/(-980)). Does t = -46/5?
False
Let g = -123 - -142. Suppose -g*w + 18 = -25*w. Is w not equal to -13/5?
True
Suppose 123*s - 1010 = -132*s + 245*s. Which is smaller: s or 45?
45
Let b = -4989 - -5539. Is b less than 2199/4?
False
Let w = -0.404 - -1774.404. Do -0.1 and w have the same value?
False
Let u = 82.9 + -88. Let a = -55.1 - u. Let x = -26 - a. Is 0.1 at least x?
False
Suppose -4*w - 9417 = -1105. Is -2077 greater than w?
True
Let r = 7556 + -8219. Is -659 at least r?
True
Let i be 2*(-2 - 27/(-10)). Suppose 1000 = -4*m + 344. Let t = 165 + m. Which is smaller: t or i?
t
Let x(p) = p**2 - 40*p + 40. Let n be x(30). Let m = n - -261. Which is greater: m or -1/63?
m
Let k = -3938 - -6192. Let i = k - 87901/39. Does i = -1?
False
Let o = -82841.87 + 83206. Let s = 361 - o. Let j = s + -0.37. Are 0.1 and j non-equal?
True
Let h = -81.4 - -45. Let g = h + 43.4. Is -1 < g?
True
Let x = 2661 + -2394. Is 1/2 equal to x?
False
Let b = 13069/2 - 6536. Are 489/13 and b unequal?
True
Let b = -2948 + 2479.7. Let a = -468 - b. Which is bigger: a or -45?
a
Suppose 12*l - l = -550. Let b = l + -253. Let d be b/(-105) - (-2 - -3)*3. Is 0 > d?
True
Let w be (-22)/(-6) + 5/45*-6. Suppose -t + w*m - 23 = 0, 0*m - 4*m = t + 16. Which is smaller: t or -19?
t
Let w = -26908 + 26969. Which is bigger: w or 88?
88
Suppose 0 = 2*p - 3*i - 49, 27*i + 95 = 5*p + 25*i. Suppose 16 = -c - n - p, 189 = -5*c + 3*n. Do 2 and c have different values?
True
Let h be (-9)/(-3) - (82 + (4 - 2)). Let k be 70/15*h/18. Which is smaller: -101/5 or k?
k
Let j = -378/25 - -1184/75. Which is greater: j or 411?
411
Let i = 3.7 - 52.7. Let w = i + 52.5. Let k = w + -4.5. Which is bigger: 4 or k?
4
Suppose 5*d - 17*d = -564. Let o = d + -55. Let t be 1*(-12)/o + (1 - 3). Which is smaller: 18 or t?
t
Let m(v) = v**2 - 15*v - 10. Let z be m(15). Let j = -2.9 - -2.7. Let o = j + -0.8. Is o less than or equal to z?
False
Let t = -0.3 + 14. Let n = t - 12. Is 1 less than n?
True
Let s(c) = -3*c**3 + 10*c**2 - 36*c + 45. Let g(h) = 3*h**3 - 10*h**2 + 34*h - 43. Let j(u) = -6*g(u) - 5*s(u). Let t be j(5). Which is smaller: -211 or t?
t
Suppose 3*d = -5*j - d + 33, -4*d = j - 13. Suppose -j*v = 3*g - 21, 3*g = g - v + 21. Is 10 > g?
False
Let p be (-523)/1386 + (8 - (550/99 - -2)). Is 1 at most as big as p?
False
Let b be (55 - 55)*(-2)/2. Suppose -9 = -q + 15. Let u be q/(-99)*(-36)/8. Which is smaller: u or b?
b
Let s(n) = -5*n**2 + 17*n + 27. Let z(m) = -6*m**2 + 16*m + 27. Let c(j) = 4*s(j) - 5*z(j). Let i be c(-6). Let v = i + -9313/23. Is 0 != v?
True
Let a(b) = -2*b**2 - 24*b - 20. Let k be ((-3)/(-1))/((-21)/560*5). Let l be a(k). Is -149 bigger than l?
False
Let o be 9/(-3699)*42/7. Is o bigger than -0.5?
True
Suppose 10*y - 418 = -28*y. Is y at least 1/11?
True
Let z = 0.12 - -0.15. Let s = z + -0.17. Let k = -108 - -91. Is s at least as big as k?
True
Let g = -54 - 12. Let o = g + 67. Which is smaller: o or 13/24?
13/24
Let s(q) = -31*q**2 + 889*q - 58. Let g be s(29). Is -338 >= g?
True
Let l be ((-702)/(-90))/(11/90). Is l at least as big as 64?
False
Let i = 29088 - 29100. Which is greater: i or -6/115?
-6/115
Suppose 2*f = 3*f + 21. Let l = -715 - -698. Which is smaller: f or l?
f
Let n = -0.421 + 183.421. Let w = -185 + n. Which is smaller: w or -2/27?
w
Suppose -3*q = -t + 1, -20 = -193*t + 188*t. Which is smaller: 3/293 or q?
3/293
Let n = 69 - 68.974. Are 15 and n non-equal?
True
Let l(v) = 102*v + 1. Let t be l(1). Which is smaller: t or 23?
23
Let r = -25 + 1726/69. Let a = -94 - -93. Which is smaller: a or r?
a
Let m = -3109367 - -450840521/145. Let j = m - -122. Which is smaller: 1 or j?
j
Let q(o) = 17*o - 64. Let k be q(4). Suppose 0 = -5*b + k*b + 14*b. Let f = 0 + -2. Are f and b equal?
False
Let z be 33 + 4*6/8. Let k be 1/(((-102)/z)/17). Is -4/9 at least k?
True
Suppose 4*m + 12 = 3*i, -2*i = m - 3*i + 4. Let h(u) = -u**3 - 18*u**2 + 21*u + 39. Let l be h(-19). Let z be l + m + (-2 - -6) + -1. Is 10 less than z?
False
Let w = 44663/42 - 7452/7. Which is smaller: w or -37/7?
-37/7
Let s =