 326/33 or q?
326/33
Suppose -w - 24 = -y - 30, 2*w - 12 = 4*y. Which is smaller: y or -2/267?
-2/267
Let i = 56 - 35. Let x be 1*1/((-1)/i). Suppose -2*p - 94 = 4*n, -10*p = 4*n - 14*p + 76. Which is bigger: x or n?
x
Suppose -11*o + 9774 = -10180. Let k be 2/3*(-340122)/125. Let d = k + o. Which is bigger: -1 or d?
d
Suppose 20 = -4*x, 30*j = 31*j - 4*x - 20. Is -1/2063 > j?
False
Let r = 0.25 + 87.75. Let p = -90 + r. Which is smaller: p or -38?
-38
Let k = -83636/17 + 4924. Which is greater: 0.4 or k?
k
Let k(q) = -260*q**2 + 1128*q + 1. Let c be k(5). Is c at least as big as -858?
False
Let k = -1478 - -3142. Suppose -312 = -19*i + k. Is i bigger than 102?
True
Let i(v) = 13 + 12 - 2*v**2 + 4*v**2 + 12 - 9*v. Let a be i(6). Does a = -1?
False
Let g(r) = 4*r**2 + 2*r + 1. Let d be g(-1). Let f = -88.58 + -1.42. Let u = f + 91. Is u equal to d?
False
Suppose -23795 = 308*o + 43075 + 113002. Is o bigger than -17?
False
Let q = -16618 + 16394. Is q smaller than -15?
True
Let b = 37 - 39. Let q = 227 + -120. Let t = 75 - q. Which is smaller: b or t?
t
Suppose -3*b - s + 204 = 0, -33*s = -b - 36*s + 76. Let n = 1931/33 - -86/11. Which is greater: n or b?
b
Let w = -29438/9 + 3271. Is -0.23 less than or equal to w?
True
Suppose -44*c + 69*c = 57*c + 10560. Is -329 at most as big as c?
False
Let q = 334/215 + -49981/32035. Let i = -1 + 0. Which is smaller: i or q?
i
Suppose 4*z = -1639 + 1699. Let q be ((-102)/z)/(0 + (-2)/(-5)). Let t = 0.4 + -3.4. Which is smaller: t or q?
q
Let l be (-1 - 2250/(-2246))/(72/1051). Let b = -2/1123 - l. Which is smaller: b or 0?
b
Let m = 53.974 + -54. Let j = -5.326 - m. Let i = 5.7 + j. Are -3/4 and i equal?
False
Let s be ((-3)/2)/(3/(-200)). Let f(i) = 365*i + 1196. Let r be f(-3). Is s less than or equal to r?
True
Let o = 213.08 + -213.5. Let f = 0.3 + -0.5. Let j = f - o. Which is bigger: -1/2 or j?
j
Let n(j) = 4*j**3 + 146*j**2 - 83*j - 113. Let y be n(-37). Is y > 240?
False
Let t = 11101 - 122021/11. Is 39 equal to t?
False
Let x be (-114690)/(-55) + 225/(-825). Is 2085 >= x?
True
Let s = -0.6 - -54.6. Let w = 77 - s. Let r = 7/50 + 13/50. Is w greater than r?
True
Let w(v) = 8*v**2 + 9*v + 24. Let u = 13 - 20. Let l be w(u). Do 353 and l have the same value?
True
Let i(x) = -3*x + 6*x**2 + 0*x**3 + 14*x + 6 - x + x**3. Let h be i(-6). Is 3 at least h?
True
Let a = 1172134/1645 - 10688/15. Is -1 greater than or equal to a?
False
Suppose k = -5*q + 5, 5*k + 0*q + 47 = -q. Let w(h) = -3*h + 30 - 62 + 38. Let f be w(k). Is 37 >= f?
True
Let d = -2462 + 1530. Is d at most as big as -934?
False
Let z be ((-15)/(-78))/(1/(-1694)). Let w = z + 325. Let r be (-3 - -6 - 4) + 0. Which is greater: w or r?
w
Let b(j) = j**2 - 3*j - 4. Let g be b(3). Let y be -4*g/56 + 24/14. Suppose 4 - 4 = y*r. Are -4 and r non-equal?
True
Let u be -4 - ((-1)/5 - (-99)/45). Let q be 1/u + (-44)/24. Let j be q - 0 - (-152)/14. Is 9 at least as big as j?
True
Let o = -169 + 193. Suppose -o = 35*z + 46. Are -5/9 and z nonequal?
True
Suppose -3*d + 8*d = -192 + 557. Is 66 less than d?
True
Suppose 7*f - 685 - 57 = 0. Suppose -3*j + f + 281 = 0. Is j >= 128?
True
Let o = 0.6532 - 0.7532. Do o and 2991 have different values?
True
Let f = -51 + 57. Suppose 4*y - 7*m + f*m = -213, 270 = -5*y + 2*m. Is -51 < y?
False
Let b = 238289 + -59810729/251. Is b smaller than -1?
False
Let a(p) = 2*p + 9. Let i(m) = m**3 - 11*m**2 - 11*m + 3. Let b be i(12). Suppose -2*k = k + b. Let q be a(k). Is q at least as big as -1/13?
False
Let z = 962 + 1523. Is 2484 smaller than z?
True
Let q = -337 + 340. Suppose 4*r + q*o - 97 + 1474 = 0, -3*r - 1033 = 2*o. Does r = -344?
False
Suppose 3*w - 103 = -5*y, -349*w + 346*w = -5*y - 83. Let z(s) = -3*s - 1. Let i be z(-6). Let k = w - i. Is k less than or equal to -1/4?
False
Let m = -86054054/13 - -6630805. Let i = 11257 - m. Is -4 at least i?
True
Let i = -30697/10629 - 1/1181. Let b = -3.9 + 4. Which is smaller: b or i?
i
Let w be (2/20866)/((-118)/(-236)). Is w at most as big as 0?
False
Let g = -84 + 106. Let a be g/(-44) + (-1)/2. Let w be ((-4)/615)/((-2)/5). Is w > a?
True
Let v = 592 - 571. Is v at most as big as -95?
False
Let n(z) = z**2 + 19*z + 23. Let c be n(-7). Let o = 71 + c. Let i be (3 + 9/(-15))/((-26)/o). Which is smaller: 0 or i?
i
Let y = 15303 - 15304. Which is bigger: 5/4969 or y?
5/4969
Let p = 131.5 - 16.5. Let y = 118 - p. Which is smaller: -1.1 or y?
-1.1
Let g(i) = i - 11. Let h be g(5). Suppose 0 = -9*d + 6*d - 18. Let j(o) = -o**2 - 3*o + 13. Let c be j(d). Are h and c equal?
False
Suppose -5*k - 73 = -3*y, -k + 27 = y - 0*y. Let p be (y/(-156))/((-1)/(-3)). Let m = 59/50 - -1/50. Which is smaller: p or m?
p
Let g be (216/(-30) - 4)/((-2)/5). Suppose 750 = 13*r - g*r. Let c(j) = -j - 49. Let u be c(0). Is r less than u?
True
Let a = 36 - 215. Let h = -52358/7 - -7480. Is h at most as big as a?
False
Let w be ((-1 + 0)/1)/(3/(-15)). Suppose -3*k + 5*q = -9, w*k - 2*q - 22 + 7 = 0. Suppose k*i = -3*s - 39, 14 = -2*s + i - 12. Which is greater: s or -9?
-9
Let d be (-60)/(-8)*4/5. Let q(b) = b**2 - b + 13. Let a be q(d). Let z = a - 35. Is z less than 7?
False
Let x be (-14)/3*4/(-98). Let r be (-1)/((-2)/4) + 129 + -7. Let v = 125 - r. Which is smaller: x or v?
x
Suppose 0 = 4*u - 6*u - 6, 3*s - 93 = 5*u. Suppose -11*w = -9*w + s. Let k(o) = 3*o**3 + 4*o**2 + 3*o + 2. Let x be k(-2). Which is smaller: w or x?
w
Suppose 5*n = 10 - 0. Let r be -3 + n - (-1 + 48). Let l be 10/2*r/20. Is l <= -12?
True
Suppose -r - 253 + 699 = -3*a, -300 = 2*a - 2*r. Let k = a + 209. Which is bigger: k or 56?
k
Suppose t - 11 + 8 = 3*n, -9 = -3*t - 4*n. Is 43/27 >= t?
False
Let w(z) = -10*z**2 - 2*z + 9. Let l(x) = 8*x**2 + 3*x - 9. Let o(h) = 4*l(h) + 3*w(h). Let q be o(-4). Is q less than 7/16?
True
Let c(u) = -5 + 8*u - 6 - 10*u. Let m be c(-23). Which is smaller: 36 or m?
m
Let f = 122.79 - 129.29. Which is greater: f or -9.6?
f
Let y = 1153/19 - 36403/304. Which is smaller: y or -60?
-60
Suppose m = 4 - 3. Let v = -47 + 51. Suppose w - v = -3*h, 2*h - 4*w + 5 = -11. Are m and h unequal?
True
Let c be (7 - 9) + (6 - (-1)/1). Suppose -2*o + c*o + 6 = -r, -3*o + 3*r = 18. Let h be -16 + 14 - 6/(o + 1). Is h not equal to -1/12?
True
Let j be (2/1490*-2)/((-551)/(-145)). Let y = 31161/28310 + j. Let w = -1 + 1. Is w > y?
False
Let w(b) = -3*b**2 - 36*b + 4. Let l be w(-12). Suppose l*v = 21 + 55. Is 20 bigger than v?
True
Let t(p) = -459*p - 9250. Let x be t(-19). Which is smaller: -527 or x?
x
Let c(u) = u**2 - 13*u + 39. Let h be c(8). Let g be (12*(-11)/(-264))/(h/(-2)). Which is smaller: -3/766 or g?
-3/766
Let m = 13 + 15. Suppose 32*k = m*k + 8. Suppose 0 = -3*g + 2*g - k. Is g greater than or equal to -26?
True
Let w = -77 + 90. Let p = 35 - w. Let n = -22 + p. Which is smaller: -40 or n?
-40
Suppose 11*p - 936 = -914. Suppose -2*q - 5*m = -18, p*q + 2*m + 8 = 14. Is -35 not equal to q?
True
Let o be 879*168/(-395584) - (-6)/16. Which is bigger: -1 or o?
o
Suppose -10*b + 11*b - 4197 = 2*k, -2*b - 2*k = -8418. Is 1/4 smaller than b?
True
Let l(x) = x**3 - 49*x**2 - 151*x + 82. Let r be l(52). Let g be (-2)/20*190/r. Which is smaller: g or 6/11?
g
Let t be 19 - 24 - 1873/464. Let r = t - -282/29. Which is greater: 1 or r?
1
Let t(h) = 76*h - 1143. Let v be t(15). Which is bigger: v or -2/5469?
-2/5469
Let j = 60 + -58. Suppose 4*z - c - 2 = -1, 3*c = -3*z - 3. Suppose -2*t + z*p + 2*p = 0, 5*t - j*p = 12. Is t bigger than 5?
False
Suppose -726 = -10*g - 12*g. Let j be 165/g + 318/(-62). Is 0.2 less than or equal to j?
False
Suppose 0 = -4*a - 10*a - 2156. Let h = -157 - a. Which is bigger: 12 or h?
12
Let f be 7*1/3*150/525. Is -10.36 smaller than f?
True
Suppose c - m - 48 = 0, -3*m - 40 = c - 108. Let n be (-14)/63 + (-940)/(-18). Is n at least c?
False
Let v(c) = -554*c + 4557. Let t be v(8). Suppose 2*o + y = 248, 3*o = 5*o - y - 248. Which is smaller: o or t?
o
Let l be (20/15)/((-1)/114) + 2. Let v = l - -163. Which is smaller: 10 or v?
10
Suppose t = -5*v + 127 + 212, 2*v - 132 = -4*t. Do v and 72 have different values?
True
Suppose 5*b = -25, 944 + 406 = -5*i + 5*b. Which is smaller: i or -1?
i
Suppose 12*v - 59*v + 241 = -182. Let j(g) = 10 + 3*g - 4*g + 0*g. Let s be j(v). Which i