= 2*p + 138. Suppose 6*w + 163 + 77 = 0. Let r be j(w). Which is greater: 4 or r?
r
Let w = -0.2 - -0.1. Let y = 44.9 - 468.9. Let m = 428 + y. Which is smaller: m or w?
w
Let n(g) = -g - 12. Let o be n(-13). Let y be ((-26)/(-10))/((-2)/(-10)). Let b = o + y. Which is bigger: 3 or b?
b
Let o = 3.831 - 3224.831. Let w = o - -3180.01. Let i = -41 - w. Is i greater than or equal to 0.1?
False
Let o = -0.488 + -32.812. Let f = -30 - -62. Let d = o + f. Are d and -1/3 equal?
False
Suppose -5*b + 359 = -2*i, 2*i + 141 + 147 = 4*b. Suppose b*t - 88*t = 867. Do -51 and t have the same value?
True
Let l = 187.9 - 182. Let b = l - 7.9. Which is greater: -2/267 or b?
-2/267
Suppose -5*h - 4*u + 35 = 0, 0 = h + 5*u - 20 - 8. Let a be h*(-2)/(-3) + -5. Let w = -2179 + 2178. Is w greater than a?
True
Let s = -100 + 62. Let l = s - -8. Suppose 2*m - w + 145 = -3*m, -7*w = -3*m - 55. Do l and m have different values?
False
Suppose 123*z = -47*z. Which is smaller: -1/44 or z?
-1/44
Suppose 0 = 2*q + 10 - 8. Let t be 0 + 9 + (-2)/q + 4. Suppose -11 = t*w - 4*w. Is w <= 1/13?
True
Let n = 1418/4977 + -20/79. Is 0 less than or equal to n?
True
Let x = -350 + 351. Let i be (x + -13)*(-12)/(-8). Is i less than or equal to -19?
False
Suppose 0 = 3*c + 58*a - 63*a - 339, 4*c = 5*a + 447. Let r be (-1 - 22)*(-27)/(c/(-8)). Which is smaller: r or -52?
-52
Let p be (-3 - -4)/((-4)/48). Let c(t) = t**2 + 15*t + 28. Let y be c(p). Let w(r) = -r**2 - 2*r + 15. Let d be w(y). Which is greater: -67/2 or d?
d
Let a = 0.01 + 0.0716. Let c = a + 74.7184. Let p = c - 75. Which is smaller: -2 or p?
-2
Suppose 19 = 2*p + 3*f, 2*f + 2 = -5*p + 22. Let t be 1/p*0 - (-12 - -9). Let w = 1 - -2. Is w >= t?
True
Let o be (-13 + (-37)/(-3))/(1/6). Let h be 44/8 - 2/(-4). Let y be (h/(-14))/(2/16). Is y less than o?
False
Suppose -1490*i + 158 = -1462*i - 122. Let q(p) = p. Let v be q(3). Suppose -w = -v*w + 12. Is w at least i?
False
Let b(x) = 165*x + 5611. Let v be b(-34). Is -2/49239 less than v?
True
Let u = -8074 - -8074. Do u and 33/116 have the same value?
False
Let p = -1516 - -2089. Which is bigger: -1 or p?
p
Let k(n) = 3*n**2 - 174*n + 201. Let p be k(57). Which is greater: p or 409/14?
p
Let u = 4415 - 4417. Is -5705 not equal to u?
True
Let q = -204/5 - -196/5. Let t be 2 + 55/(-20) - (-406)/8. Let n = t + -52. Which is smaller: n or q?
n
Let b be (6/4)/(-5*(-15)/250). Suppose 0 = 3*h - b*h - 6. Let s = h + -12. Is -14 <= s?
False
Let u be -697 - (12*-1)/(-4). Let c be ((-160)/u)/(3/(270/(-4))). Which is smaller: c or -4?
c
Suppose 41 + 247 = 24*j. Let x be 38*1*(54/j + -5). Let z(l) = l**3 + l - 19. Let h be z(0). Is x > h?
False
Let f(z) = -6 - 5*z - 2*z + z**2 + 5*z - 3. Let m be f(-3). Let l be (8/(-820))/(8/60*m). Is l at least as big as 0?
False
Suppose 22 = 3*k - 4*k. Suppose -14*u - 692 = -4318. Suppose 12*d - 7 = -u. Is k < d?
True
Let k(r) = -r**2 + 12*r - 7. Let h be k(9). Suppose 8 = -3*w - 19. Let d(f) = f**2 + 7*f. Let b be d(w). Is h bigger than b?
True
Let s be 737/(-66) - -15 - (3 + 1). Which is smaller: -10 or s?
-10
Suppose 0 = u - 2 - 0. Suppose u*q = -0*p + p, 5*q = 0. Let k(i) = -i + 11. Let n be k(0). Which is smaller: n or p?
p
Suppose -3*n + 5*r + 31 = 0, -2*n + 24 = -0*n - 4*r. Suppose i + 4*b = n*b, 3*b = 4*i. Let l be (-2 - -3) + (i - 3 - 0). Is -2 at least l?
True
Let n(u) = 9*u**3 - 147*u**2 + 48*u + 2. Let o be n(16). Let t be (1 + 8)/(3/3). Suppose -t = 11*y + o. Which is greater: -2/7 or y?
-2/7
Suppose 4*m = -170 + 574. Let c = m + -146. Which is greater: -43 or c?
-43
Suppose -42 = 225*x - 156 - 111. Which is bigger: 2/11913 or x?
x
Let x = 660333/7 + -3399322/35. Let g = -2774 - x. Let j = 17 - g. Are j and 2 equal?
False
Let k(u) = 2*u**3 - u**2 + 2*u - 2. Let h(p) = 5*p**3 - 20*p**2 - 13*p - 42. Let q(t) = h(t) - 2*k(t). Let y be q(19). Is y > 1/5?
False
Let g = -63 - -64. Suppose -b - g = 3. Let u be (3/27*3)/(22/b). Which is bigger: -1 or u?
u
Let p = -17418 - -16931. Is -493 smaller than p?
True
Suppose -6*a = 4*g - 9*g + 10, 0 = g + 4*a - 2. Let r(h) = -8*h**3 + 3*h**2 - 5*h + 4. Let f be r(g). Which is smaller: -117/2 or f?
-117/2
Let s = 33 + -36. Let p be s/60 + (-3)/(-12). Let r = 46 - 42. Are p and r unequal?
True
Let c(y) = 32*y - 11. Let l(t) = -6*t - 219. Let r be l(-37). Let h be c(r). Is 86 != h?
True
Suppose 7 = 410*l + 258 + 159. Let z = -17 + 12. Which is smaller: l or z?
z
Let r(b) = -b**3 + b**2 - 4*b + 6. Let s be r(2). Let k be 276/(-30) + 8 + s. Are -7 and k equal?
False
Let n(p) = 14*p**2 - 129*p + 2. Let s be n(9). Suppose -90 + 25 = 5*u. Which is smaller: s or u?
s
Let p be -3 + 0 + (1 - -7). Suppose -5*u + 13 = -2. Suppose 3 = m, u*f + p*m - 10 = 98. Is f not equal to 31?
False
Let s(k) = -13*k + 11*k - 12 - 18 - 4 + k. Let b be s(-33). Which is smaller: b or 4/117?
b
Let z(w) = 3*w + 25. Let r be z(-9). Let b be ((-2)/3)/(-1*r/(-39)). Let v(t) = t - 10. Let k be v(b). Which is smaller: -0.1 or k?
-0.1
Suppose 56 = 4*l - 2*l. Let j = l - 60. Let z be ((-6)/(-4))/(4056/j). Which is greater: z or 1?
1
Suppose 21548 = -4*s - 4*c, 0 = 16*s - s + c + 80833. Are s and -5388 equal?
False
Let d = -1783.7 - -1783.4. Which is smaller: d or -1.711?
-1.711
Let t be (-1)/(-1*3)*(-288)/64. Let b = 22 + -22.44. Is b less than or equal to t?
False
Suppose 101*m - 90*m - 1 - 10 = 0. Which is smaller: 5/658 or m?
5/658
Suppose -391*q + 83*q = -14476. Which is smaller: 228 or q?
q
Let i be ((-65)/(-100) - 2)*(-4730)/(-4). Let h = 1587 + i. Suppose 5*y - 9 = z - 25, -z = 3*y + 24. Is h equal to z?
False
Let x(g) = -45*g + 13. Let q(f) = 114*f - 32. Let o(n) = 5*q(n) + 12*x(n). Let z = 0 + 2. Let w be o(z). Is 57 greater than w?
True
Suppose -4*n = -5*c - 295, 5*n = -5*c - 20 + 400. Is n less than -4?
False
Let b = 12 - 19. Let r = -5 - b. Let h = 153 + -143. Is h at most r?
False
Let j = -233.5 + 220. Let y = -0.5 - j. Are 0.07 and y unequal?
True
Let q be (1 - 27) + (0 - -1). Let r be q/12 + 2/6. Let u(a) = a**3 + 8*a**2 - 7*a - 101. Let g be u(-7). Is g smaller than r?
True
Let b be (-117)/(-9) + (8 - 16) + -6. Does -6/811 = b?
False
Let p(k) = k**2 + 2*k - 10. Let w be p(-5). Let o be (-120)/(-15) - (-1 + w/1). Let c = o + -4. Which is smaller: c or -3/23?
-3/23
Let w = -2028.8 - -2029. Which is greater: w or -2/157?
w
Let o = 86 - 78.9. Let i = o - -1.9. Let a = i - 8.77. Is a equal to 0.1?
False
Let t(c) = -c**2 + 9*c + 3. Let l be t(9). Suppose 3*g = -2*i + 5, -l*i + 2*g = -1 - 0. Which is smaller: i or 2/7?
2/7
Suppose 40*o - 33*o - 7 = 0. Let m = 4713 + -146087/31. Which is greater: m or o?
o
Suppose 0 = -3*l - 0*p + 3*p + 18, -p - 2 = 0. Let y be (l - 3 - 3) + (15 - 18). Is 41 at most as big as y?
False
Suppose -154*t + 149*t + 4*k = -15619, -15620 = -5*t + 5*k. Which is smaller: t or 3124?
t
Let n be ((3 + 4)/(-42))/(44/8). Which is bigger: 0 or n?
0
Let y be -8 + (170224/21575 - (-4)/50*1). Which is smaller: y or 0?
y
Let a = -9/773 + 10645/183974. Let j = a + -2/17. Which is bigger: 1/5 or j?
1/5
Let s = -3971672/367 - -10822. Is s equal to -0.24?
False
Let n = 3023 + -1856. Which is smaller: 1166 or n?
1166
Let u be (-9418)/8500 - (-3)/2. Which is smaller: u or 1?
u
Let s(n) = 60*n + 373. Let i be s(-6). Let l = 1 - -2. Which is greater: l or i?
i
Suppose 2*o = 6, -10*y + 3*o = -5*y - 26. Suppose y*u - 60 = 22*u. Suppose 11 = -2*d - 1. Do u and d have different values?
True
Let a(v) = 70*v + 490. Let c be a(-7). Is c at least as big as 816?
False
Suppose -112*g = -86*g + 156. Which is greater: -2/73 or g?
-2/73
Suppose 218*j - 3 = 221*j. Let b = 148/3 - 6062/123. Does j = b?
False
Let s(t) = -t**3 + 9*t**2 - 10*t + 4. Let m be s(9). Let v = m - -149. Let x be 4 - v/10 - -3. Which is greater: x or 2?
2
Let j = -38 + 48. Let h be (39/15 - 1)/((-2)/j). Let y be 10/h - (-1 - 0). Which is bigger: y or 0?
0
Suppose -2*n - 3*j - 10 = 0, 28*n - 23*n = -2*j - 3. Which is bigger: n or -1/4959?
n
Let w = 364 - 551.5. Let o = w + 189. Which is bigger: 0.3 or o?
o
Let v be 2/(-17) - (-3066)/51. Suppose 4*g + v = -w - 8, 0 = -w + 4*g - 52. Is w at least -61?
True
Let p be (875/1218)/(-5) - ((-168)/18)/4. Which is bigger: p or 2?
p
Let q = -1818 + 1818. Is q > -14/1249?
True
Let v(l) = -l**3 + 8*l**2 + 19*l + 19. Let h be v(10)