r g?
g
Suppose -29*c + 27*c = -4, -4*c = n - 3. Suppose -6*u + 3*u - 27 = 0. Which is bigger: n or u?
n
Let p(j) = j + 11. Let o be p(-9). Suppose d = -o*d - 9. Is d >= 2/7?
False
Suppose -c = -5*b + 2, -2*b + 5*c + 10 = -b. Suppose -4*i + 12 = -b*i. Let l be (710/160 - 4)/(3/12). Which is smaller: l or i?
l
Let k(a) = -137*a + 146. Let n be k(7). Is n at least -813?
True
Let s = 624 + -320. Let w = 1089/8 + -24615/56. Let i = w + s. Which is greater: i or 2?
2
Let w = -343578/205 - -1676. Let b = 4 - 5. Which is bigger: b or w?
w
Let x(q) = -3*q**2 + 6*q - 3. Let u be x(3). Is -12 at least u?
True
Suppose -49*t = 9584 + 2225. Is t smaller than -236?
True
Suppose -1956 = -19*z + 77. Which is smaller: z or 109?
z
Let p = 88 + 24. Do p and 111 have the same value?
False
Suppose -3*m + 5*m = -4. Let b be 4 - (1925/30)/11. Is m bigger than b?
False
Let l(k) = -2*k**2 - 8*k - 8. Let j be l(-8). Let t = -66 - j. Which is greater: t or 5?
t
Let w be ((-2)/(-3))/((-2)/12). Let y be -3*4/12*w. Let p(r) = -r**2 + 3*r - 3. Let l be p(y). Is l less than -7?
False
Let g = 621 + -6837/11. Let t(r) = -4*r**3 + 8*r**2 + 22*r - 4. Let u(x) = 3*x**3 - 7*x**2 - 23*x + 5. Let i(k) = 2*t(k) + 3*u(k). Let s be i(8). Is s > g?
False
Let a = -5603943/88550 - 1/12650. Let r = a - -63. Which is bigger: r or 12?
12
Let a be 4/(-388)*(-2)/18. Let s = a - 1771/21825. Does s = -1?
False
Suppose 0 = -r - 0*a + a - 124, -144 = r + 3*a. Which is smaller: r or -132?
-132
Let k(n) = n**2 + 4*n - 2. Let p be k(-5). Let s be 0 - 0/((-2)/(6/p)). Is -1/6 greater than s?
False
Suppose 7*h - 2*h = -2*c, 4*c - 26 = 3*h. Let o = 1/380 - 1027/380. Which is greater: o or h?
h
Suppose -l - 3*l - 48 = 0. Let u be (-10 - l)/(-13 + 0). Let m = 19/39 + u. Is 2 less than m?
False
Let h be (18/45)/(3/(630/(-33))). Is -4 <= h?
True
Let s be 37 + (-24)/((-9)/(-3)). Which is bigger: s or 18?
s
Let l = 16/19 - 189/247. Is 0 less than l?
True
Suppose 142*b - 146*b = -12. Let i = 1 - 0. Which is smaller: i or b?
i
Let u = 0.07 + 0.13. Let j = 25 - -16. Which is smaller: j or u?
u
Suppose n - 1 + 17 = 0. Suppose -4*z - 88 = -t - 6, 3*z = -t - 58. Let m be 2*(z/n + -1). Which is bigger: m or 7?
7
Let t = 17.9 + -18.048. Let d = 0.248 + t. Let a be (-1)/(-4) + (-31)/(-20). Which is greater: a or d?
a
Suppose o = -2*o - 3*y - 12, o - 3*y + 4 = 0. Let l be o - (-80)/15 - 4. Which is bigger: -3 or l?
l
Suppose 378 = -222*w + 225*w. Is w at least 126?
True
Let z = 25 + -22. Suppose 6*l - z*l + 27 = 0. Let t be (1 - 0)/(l/(-54)). Which is smaller: t or 7?
t
Suppose -y + 0 + 2 = 0. Suppose 6*u = -y*u - 8. Is 3/7 > u?
True
Let w(g) = g**2 + g. Let o be w(-2). Suppose -2*q = -o*l - 3*q + 7, 0 = -3*l - 5*q + 7. Let f be -14 + (6 - l/2). Which is smaller: f or -8?
f
Let a be ((-19532)/(-2520))/19 - (-12)/(-30). Which is smaller: a or -1?
-1
Let l(j) = j + 14. Let v be l(-9). Suppose 2*t + 2*h = 7*h - 11, v*t = 4*h - 36. Which is greater: t or -10?
t
Suppose -6*d = -4*v - 1668, d + 1654 = -0*v - 4*v. Which is greater: v or -413?
-413
Let r be (24/(-21))/4 + (-240)/42. Let j be (6 - -10)/(r*3/6). Is j <= -5?
True
Let w = -473 + 474. Are 248 and w nonequal?
True
Let h(q) = -7 + 26*q - 15*q - 13*q. Let n be 42/(-9) + (-5)/15. Let r be h(n). Is r bigger than 5/2?
True
Suppose g + q = 7, 5*g - 2*g = -q + 17. Suppose 6*b + g = 11. Which is bigger: b or -2/37?
b
Suppose -4*u = -353 + 97. Suppose 4*x = -5*l + u, -3*l = -7*l - x + 49. Is 10 smaller than l?
True
Suppose -4 = w, -3*l - 2*w = -3*w + 23. Let s be 8 + l - 5/(-7). Let g = -0.9 + 0. Which is smaller: g or s?
g
Let v be -2 + -1 + 11/1. Let z be ((-3)/44)/(2/v). Suppose -14*t - 14*t = 0. Which is bigger: t or z?
t
Let r(c) = 33*c + 2. Let o be r(4). Let v = 1204/9 - o. Which is greater: 0 or v?
0
Let c = -32 + 35. Let s = -1 + c. Suppose -2*d + s*g + 10 = -4*d, g = 3*d - 5. Which is smaller: d or 6/7?
d
Suppose 1 = 4*d - 7. Suppose w - 2*t - 3*t = -52, w = d*t - 43. Let n be -2*2 + w/(-10). Which is smaller: 0 or n?
n
Let b be (1*188/88)/(-1) - -2. Let v = -35 - -34.9. Which is bigger: v or b?
v
Let f = -0.0683 + 64.8683. Let n = 65 - f. Which is bigger: n or -21?
n
Let k be -1 - 1 - (-2)/1. Let u = -3827/17 + 225. Is k at most u?
False
Let p = 3 - 2. Suppose 3*u + 7*t - 3*t - 4 = 0, -12 = -4*u - 2*t. Suppose -d + 2*q = -5, 0 = -0*q + u*q + 8. Is d greater than p?
False
Let y = -4.443 + 0.443. Is -33 less than y?
True
Suppose -4*s - 8 - 20 = 0. Suppose 7*m = 5*w + 4*m + 48, -w = 4*m + 5. Which is bigger: s or w?
s
Let q be ((-45)/15)/(6/(-8)). Suppose -k - 3*a - q = -a, -a = 4*k - 12. Suppose 2*x = 4*y + 18, k*y = 3*x - 4*x - 21. Does 2 = x?
False
Suppose 0 = -14*u + 5*u + 180. Suppose -5*p + u = 15. Is 18 equal to p?
False
Let f be (12 + -2)*(1 - (-16)/(-18)). Let i = 11/9 - f. Which is smaller: -0.1 or i?
-0.1
Let b = 15 - 21. Let m be 52/(-9) + (-92)/(-207). Which is smaller: m or b?
b
Suppose -3*b + 13 = -5*c, 0 = -11*b + 10*b - 2*c - 3. Are 25/23 and b non-equal?
True
Let k = -503/14 - 32/7. Suppose 0 = 26*x + 870 + 222. Are k and x equal?
False
Let u = 289661/52 - 20921/4. Let k = u + -340. Is -1 at most as big as k?
True
Let l be (0 - (-84)/154) + (-270)/11. Is -42 > l?
False
Let k(p) = p**3 + 7*p**2 + p + 8. Let h be k(-7). Suppose 2*v - 6 = r, -2*r - 10 = v - 3. Let c be (v - 0)*(-12)/30. Which is smaller: c or h?
c
Let n = 0.1612 + 0.0388. Are -13/2 and n equal?
False
Let q = -0.34 + 0.13. Let y = 0.1 + q. Let f = -0.89 + y. Which is smaller: 0.1 or f?
f
Let s(x) = x**2 + 5*x + 7. Let g be s(-3). Let p be (-64)/(-36)*(-2 - 86/(-40)). Which is smaller: p or g?
p
Suppose 0 = 2*h + 2*f + 458, -3*f + 718 + 387 = -5*h. Let x = h + 3806/17. Let y be 2/(0 + (4 - 2)). Is y bigger than x?
True
Let z = 0.3 + -0.4. Let j = -42.24 - -43. Let m = j + 10.24. Which is smaller: m or z?
z
Let p = 0.023 + 4.977. Let v = p + -7. Which is smaller: -1/35 or v?
v
Let b(k) be the first derivative of -k**3/3 + 17*k**2/2 - 17*k - 19. Let n be b(16). Which is greater: -3/22 or n?
-3/22
Let q be ((-3)/9)/((-805)/105). Which is greater: q or -6?
q
Let s = -90 + 91. Is s smaller than 6/121?
False
Let t be 390/8 + 66/(-24) + 2. Suppose 0 = 5*x + 5, 3*x - 329 = -5*m + t. Which is bigger: 77 or m?
77
Let h(a) = -a**3 + 12*a**2 - 12*a + 3. Let g be h(11). Let w(x) = 2*x**3 + 2*x**2 - 9*x - 19. Let m be w(-2). Is m <= g?
True
Let k be 4*(24/8 - 20). Which is greater: -70 or k?
k
Let u = 12 + -40. Let q be 18/u*(-14)/24. Is 0 >= q?
False
Suppose 3*s + 2*y - 63 = -1521, 0 = -s + 3*y - 486. Which is bigger: -487 or s?
s
Let r be (-27)/6*-1*(-6)/9. Let i be ((-6)/(-4) + r)/((-2)/28). Which is greater: i or 23?
23
Let q = -988.2 - -990. Let t = 1.8 - -1.4. Let j = q + t. Which is smaller: 0 or j?
0
Let p = 1515/4 - 379. Is -37 at most as big as p?
True
Let b = 1403 - 1401. Is 150/49 at most b?
False
Suppose 12 = -3*r, -3*z + 5*z + 5*r + 10 = 0. Suppose z*d - 16 = 7*d. Is -7 >= d?
True
Let s(z) = -z**2 - 18*z - 17. Let f be s(-17). Suppose -3*i = 3*h - 27, -i + f*h + 2*h + 12 = 0. Which is greater: i or 11?
11
Suppose 0 = -19*x + 6*x - 624. Is -47 less than x?
False
Suppose 0 = -4*x + 3*z - 292, 3*z = 5*x + 5*z + 342. Let b = x - -145. Which is smaller: b or 74?
74
Let j be (-30)/1250*25/(-10). Which is greater: j or 1?
1
Let k = -2231 - -2236.63. Is -1 >= k?
False
Suppose -65 = 2*n + 2*n - 3*d, 2*n + 5*d + 13 = 0. Let i be n/(-120) + (-4)/16. Which is smaller: 0 or i?
i
Let h = 806 + -66093/82. Suppose -3*f = -9*f - 8*f. Which is bigger: h or f?
f
Suppose 4*r = -5*x + 6 + 3, -3*x - 9 = 0. Suppose 100 = -r*o - 14. Which is bigger: -17 or o?
-17
Let b(r) = -r**2 - 5*r + 1. Let h be b(-9). Let t be (-2)/(-9) - h/(-63). Is 14 equal to t?
False
Suppose -5*d - 2*r = 14 - 29, 2*r = -3*d + 13. Which is greater: d or -12/341?
d
Let l = -229 + 229. Let p = 629/5 - 125. Which is smaller: l or p?
l
Suppose 19*s = -12*s - 31. Is s equal to 18/79?
False
Let c = -2312 + 2312. Let i = -0.203 + 8.303. Is c bigger than i?
False
Let m = -511 - -357. Is -5 bigger than m?
True
Let w(t) = 27*t - 17. Let r be w(5). Which is bigger: r or 119?
119
Let n be 2 - (3 + -2 - 3). Suppose -6 - n = 5*x. Let p = -20/7 + 16/7. Which is bigger: p or x?
p
Let j(m) = m - 13. Let r(u) = u + 3. Let a be r(5). Let s be j(a). Are