smaller: p or -192?
-192
Let y = -727/8 + 91. Let f be (25/5 + -4)/((-2)/(-4)). Suppose -6*r - 5*c = -8*r, f*c = 2*r. Is y != r?
True
Let z be 20/(-3)*6/4. Let b be 922/14 + 4 - (-2)/14. Suppose 2*o + b = -5*o. Is o >= z?
True
Let s(w) = w**2 - 17*w - 42. Let p be s(24). Which is smaller: 123 or p?
123
Let j = -19 - -23. Suppose 0*p + j*p = 0. Suppose -2*l + 3*y + 32 = p, 2*l + 0*y - 28 = 4*y. Is 21 greater than or equal to l?
False
Let y be 5 + (2/(-4) - 311/70). Are 0 and y non-equal?
True
Suppose -5*l + 4*n = -23, -l + 3*n = l - 12. Suppose -l*p + 1 + 8 = 0. Suppose p*k - 3 = -2*s + 1, -2*s = -4*k - 32. Is s < 9?
True
Let d(a) = -2*a + 18. Let h be d(8). Suppose 2*c = -h*u - 18, 3*c + 4*u + 32 = -0*c. Which is smaller: c or -19/5?
c
Suppose -15 - 21 = -4*a. Suppose 2*n + 5*f + 5 = 0, 0 = 5*f + 6 + a. Suppose 5*u - 15 = -2*j, -4*j - 6 = n*u - 31. Is u != 4/13?
True
Let d = 11703/143 + -1083/11. Is -18 at least as big as d?
False
Suppose -42 = -6*p - 72. Is 5 >= p?
True
Let r(m) = 2*m**2 - 22*m - 1. Let t be 15/(-10)*2*(-4 - 0). Let h be r(t). Which is smaller: 24 or h?
h
Suppose 0 = -5*l + 7*l - 20. Suppose 0 = m - 4*m - 5*b - 16, -2*b - l = 0. Suppose a - 4*a + m = 0. Is a smaller than 2/7?
False
Let k be (-46790)/12*(-13)/(-195). Let n = k - -260. Which is smaller: -1 or n?
-1
Let n be (-2)/(-19) - 242305/(-2185). Is 110 greater than n?
False
Let l be (-9)/4 - (-8)/32. Let p(s) = 2*s**2 - s**2 + 17 - 5 + 3*s - 9. Let y be p(l). Is y != 3/10?
True
Let c be (0 - 2)/(44/(-12)). Let a = c - 3/11. Which is greater: a or -1?
a
Let h(m) = -m**3 + 11*m**2 + 14*m - 20. Let r be h(12). Suppose -4*s - 3*v = -5, 2 = 2*v - r. Which is smaller: -1/5 or s?
s
Suppose -2*v = -34 + 20. Let t(y) = y**3 + y + 6. Let m be t(0). Is m >= v?
False
Let x be (-32)/8 + 1218/14. Is 83 at most as big as x?
True
Suppose -76 = -78*t + 40*t. Suppose -3*a - z + 16 = -0*z, 0 = -a + 3*z + 12. Suppose -t*k = -12 + a. Is -4 greater than k?
False
Let f = 38 - -100. Let x be (-2)/(-12) - 11/f*1. Let w be (0/(-1))/1*1. Is x >= w?
True
Suppose -6*g = 1041 + 2355. Is -565 smaller than g?
False
Let o = -89070 - -800765/9. Suppose -55 = 2*v - 4*c - 235, -3*v = 4*c - 300. Let b = v + o. Is 1 bigger than b?
True
Let h = -70.33 + 70. Let w = h - -0.29. Is 0.4 >= w?
True
Let l be (-1)/(3 - (7 + -5)). Let q be 190/(-1134) + (-2)/(-14). Are q and l equal?
False
Suppose -2*g + 2*o - 7 = -7*g, 0 = 5*g + 4*o - 9. Let c be ((-14)/(-56))/(-1*g)*-4. Let l be (-1)/(-2) + (-18)/(-4). Which is bigger: l or c?
l
Suppose 2*s - 3*h + 124 = 0, 0 = 3*s - h - 0*h + 200. Let x = s - -69. Which is greater: x or -1/27?
x
Let i = -182.92 - -185. Let b = 0.92 + i. Let k be (2/(-44))/(2/8). Is b not equal to k?
True
Let x = 370 - 423.8. Let l = -54 - x. Do -5/6 and l have the same value?
False
Let q(m) = 2*m - 1. Let g be q(-3). Suppose 2*w - 3*z = -15, -w - 4*z - 4 + 2 = 0. Let i be ((-3)/w)/((-5)/60). Which is greater: g or i?
i
Let v = -448 - -452. Does -23 = v?
False
Suppose 3*c + 4*a + 24 - 260 = 0, 5*a - 64 = -c. Does c = 86?
False
Suppose 0 = 13*a + 59 - 85. Which is greater: a or -10?
a
Let z = 20 + -20. Suppose -c + z = 1. Let g = -29/15 - -7/3. Which is bigger: c or g?
g
Let g = 482/25 + -95993/4975. Which is bigger: 1 or g?
1
Let h be ((-16)/(-30))/(72/(-20)). Which is smaller: 1 or h?
h
Let a = 34275377709/879300494177 + -2/325546277. Let p = -3/259 + a. Which is smaller: -1 or p?
-1
Let v(f) = 3*f - 30. Suppose 0 = -2*s + 23 - 5. Let t be v(s). Is t less than or equal to 10/3?
True
Let p = 34 + -32. Let o be 2/(-30)*2*(-1)/p. Is o > 1/2?
False
Let b = 499 + -492. Is b > -5?
True
Let s = -0.4 - 1.8. Let k = -3.2 - s. Is 18 smaller than k?
False
Suppose 10*t = -3*t - 2197. Do t and -168 have the same value?
False
Let h = -578 + 504. Is 0 greater than h?
True
Suppose -2*w = -7*w - 5. Let g = -28 - -24.6. Do g and w have different values?
True
Let h(x) = x - 10. Let f be h(9). Let t be f/(3/(-9)) + 0. Suppose 0 = i - t + 7. Which is greater: i or -1?
-1
Suppose 13*a - 9*a - 8 = 0. Suppose 10*s = -a*s + 14*s. Which is smaller: -1/58 or s?
-1/58
Let f = -1 - -4. Suppose -7 - 3 = h + 4*c, 4*c - 10 = -f*h. Let g be -3*((-2)/2 + -2). Which is greater: g or h?
h
Let n = 65 + -67. Is n less than 6.9?
True
Let r(v) = v**3 + 5*v**2 + v + 6. Let j be r(-5). Let s = 0.7 - 1.7. Let b = s - -11. Is b smaller than j?
False
Let g = -727.1 + 678. Let l = g - -49. Which is smaller: l or 48?
l
Let j = 1/9384 + -19025/2411688. Which is bigger: 2/5 or j?
2/5
Let f be (-16)/32 + (-4 - 892/(-40)). Is f equal to 17?
False
Let g = 106 + -107. Which is bigger: g or 1/75?
1/75
Let k be 10/4*(-349)/(-15). Let v = 58 - k. Is v greater than -1?
True
Let c = 0.42 + 30.58. Let l = c + -28. Is l less than -18?
False
Let q = 66 - 103. Let t = q + -3. Which is smaller: t or -41?
-41
Let n = -738/13 + 75949/1339. Is n at least 1?
False
Let t = 12/11 + -73/77. Let l = 5 - 5. Is t at least as big as l?
True
Let u(i) = -i**3 + 7*i**2 + 5*i - 4. Let l be u(7). Suppose -2*z = 15 - l. Is z less than or equal to 10?
True
Let y(c) = c**3 + 19*c**2 - 19*c + 35. Let v be y(-20). Suppose -10*k + 45 = v. Is 3 less than k?
False
Let b(u) = u**2 - 7*u + 6. Let c be b(6). Suppose 0*q + 4*q - 100 = c. Is q smaller than 26?
True
Suppose 223*q - 190 = 218*q. Which is smaller: 37 or q?
37
Let i = 361 + -53. Is 1/3 less than i?
True
Let i = -683 + 682. Which is smaller: i or -1/303?
i
Let s(x) = 3*x - 64. Let m be s(0). Let o = m + 67. Suppose -5*r = -3*i - 11, i - 4 = 4*r - 17. Is o bigger than i?
False
Let f = -227/7755 + -1/141. Let k(p) = 86*p - 11523. Let s be k(134). Which is smaller: s or f?
f
Let j = 1437 + -1213. Is 224 != j?
False
Let z(s) = -3*s**2 + 2*s + 3. Let u be z(-4). Is 0 > u?
True
Let t(a) = 5*a**2 - a - 7. Let g(z) = z**2 + z - 1. Let r(c) = -6*g(c) + t(c). Let b be r(-7). Is b at least 1/28?
False
Let u = 6.6 - 6. Let q = 31 + -31.094. Let w = -0.494 - q. Which is greater: w or u?
u
Let j be ((63/15 - 2) + -3)*4. Which is smaller: -2 or j?
j
Let d = -81/10 - -17/2. Let c = 51 - 50. Is d greater than c?
False
Let f = 3275 + -1743. Which is smaller: 1533 or f?
f
Suppose -812 + 218 = -18*n. Is 1/3 <= n?
True
Suppose -5*r = c - 24, 2*r = -2*c + 4*r. Let g be 6/c - (-46)/44. Is 3 <= g?
False
Let z = 4/397 + -1680/9131. Which is smaller: z or -1?
-1
Let s = -146 - -226. Which is smaller: s or 396/5?
396/5
Suppose 30*x = 4 + 56. Let r(u) = u**2 + 5*u + 3. Let n be r(-4). Which is bigger: n or x?
x
Let y be 1 - (-1)/((-3)/(-24)). Let j be (3/3 + -3)*2. Let h be ((-2)/j)/((-1)/(-16)). Are h and y non-equal?
True
Let z = -26 + 0. Let y = z + 19. Which is smaller: -12 or y?
-12
Suppose -4*p + 3*p + 2*o = -32, -5*p + 192 = -2*o. Let g(a) = a**2 - 16*a - 1. Let y be g(16). Let j be (-1 + y)/(10/p). Is j >= 0?
False
Let q be (0 - 765/(-12)) + -4. Let n = -123/2 + q. Is -1 != n?
True
Let z(r) = -38*r**3 - 2*r**2 - 2*r - 1. Let k be z(-1). Let c be (-10)/(-40) + k/(-4). Is c greater than -9?
False
Let f = 0.7 - 1.05. Let h = f - -0.05. Let w be (6/(-27))/((-120)/135). Is w greater than or equal to h?
True
Let p = 18 - 18. Suppose 24 = 2*c + c. Let a be c/28 + 53/(-63). Which is smaller: p or a?
a
Let p be (-5)/(7 + -4 - 4). Suppose 2*t = 3*d + 2*d - 74, 66 = p*d + 2*t. Are d and 14 nonequal?
False
Suppose -3*u - 50 = 4*x - 2022, 2*x = 8. Are -0.2 and u nonequal?
True
Let r = -146 + 150. Let a(v) = -v**3 + 3*v**2 - 2*v. Let c be a(2). Suppose 2*z + c*z - m + 4 = 0, -r*z = m + 2. Which is smaller: 2 or z?
z
Let f(g) = -g**2 + 12*g - 23. Let h be f(8). Let x = 51 - h. Which is smaller: x or 40?
40
Let m(o) = 2*o + 37. Let x be m(-19). Is x >= 4/173?
False
Let d be 8 - -51*(-522)/3321. Do d and 0 have the same value?
False
Let t = -27.7 + 28.7. Which is bigger: -0.5 or t?
t
Let q(y) = y**2 - 17*y + 9. Let m be q(11). Let j = -56 - m. Which is smaller: -9 or j?
-9
Let f be (3/((-6)/4))/((-12)/(-1068)). Which is smaller: f or -179?
-179
Let v = 6.5 - 5. Let z = v + -3.5. Let a = -2 - z. Is a > 0?
False
Let m = 48 + 4. Suppose m*t - 51*t + 9 = 0. Is -2 < t?
False
Let n = -16.77 + 20. Let t = n - 0.23. Let c = -2 - -5. Is c less than or equal to t?
True
Let z = 2007 - 816. Is 1191 less than z?
False
Let q be ((-13)/(-78))/(7/6 - 1). Let d be q*(-3 + 0