. Let c be (-88)/(-38) - 8/4. Which is greater: c or a?
a
Suppose g + 4*h = -74, 10*g - 192 = 13*g + 2*h. Which is bigger: -63 or g?
g
Let j = 0.08 + -0.03. Which is bigger: 27/5 or j?
27/5
Let f = -2 - -1. Let b = -0.1189 - 0.0611. Is f bigger than b?
False
Let g(o) = -4*o - 146. Let u be g(-32). Which is smaller: u or -13?
u
Suppose 24 = 9*l - 7*l. Let c be l - 6 - -61 - (2 - -1). Is 63 at most c?
True
Let w be (7 - 4)/(9/15). Suppose 3*p - w*p + 8 = 0. Is 7 at least as big as p?
True
Let m = 10.5 - 0.5. Let n be (3 + (-69)/21)/1. Is m <= n?
False
Suppose -21 - 57 = -3*w. Let g be (2/(-20))/((-39)/w). Let v(x) = -x - 3. Let b be v(-2). Which is smaller: g or b?
b
Let c be 3/(-132)*-268 - 6. Let k be 30/(-9) - 2/(-6). Let p = k + 2. Which is greater: c or p?
c
Let i be (2/1)/(-9 - -11). Let k = -51 - -207/4. Is i smaller than k?
False
Let h = -427/8 - -51669/968. Which is smaller: -1 or h?
-1
Let d be (-9)/((-2520)/(-2330)) + (-1)/4. Let f be ((-8)/6)/((-2)/(-15)). Is f > d?
False
Let a be (-3 - -2) + (10 - 1 - 4). Is a less than or equal to 34/7?
True
Let v be (175/15)/((-14)/42). Does v = 12?
False
Let d(o) = o**3 - 4*o**2 + o + 19. Let c be d(4). Which is smaller: c or -7/3?
-7/3
Let l(j) = 5*j**3 - j. Let q be l(-1). Let r be (2/3)/(q/(-108)). Let i = -14 + r. Is 3 > i?
False
Let z be 2 + -1*(-1 - -4). Let d = 12 + -11.25. Let l = d + 0.15. Is z bigger than l?
False
Let k = 0.633 + 0.167. Are k and -46 equal?
False
Let t = -101 + 106. Suppose 0 = 4*z + z - t. Which is bigger: z or 9?
9
Let n be (-1)/((12/(-40))/((-747)/(-6))). Which is greater: n or 416?
416
Let p(a) = a**3 - 4*a**2 + 2*a - 8. Let r be 1 + 3*(-3 + 4). Let f be p(r). Suppose k = -f - 4. Is -2 smaller than k?
False
Let b be (-8)/(-60) + (-26)/(-30). Let q be (-104)/(-32) - b/4. Suppose -2*l + 5*l - q = 0. Which is bigger: 1/8 or l?
l
Let v = -593 - -82. Is v <= -512?
False
Let v = 21 - 139. Let l = v - -98. Is l <= -1/5?
True
Let u be -3 - (((-36)/(-6) - 3) + -102). Is u less than or equal to 575/6?
False
Let n be 3 + (-88)/(-15) + (-3)/(-9). Is 8 at least n?
False
Let i = -79 - -80. Let b be (-2)/i - (5 - (-158)/(-22)). Do 2/17 and b have the same value?
False
Suppose 0*r = 4*r - 160. Let y = r - 35. Is 7 bigger than y?
True
Suppose 108*s + 8 = 110*s. Which is greater: 21 or s?
21
Let g = 0.8 - 0.5. Let b = 0.2 - g. Let o = -3053 + 3038. Is o at least as big as b?
False
Let k = -991 - -1086. Which is smaller: k or 93?
93
Let b be 20/(-100) - (-82)/(-40). Let a = -5 + 11. Let q be (-1)/(2/a - 0). Which is greater: b or q?
b
Let r(v) = -v + 14. Let j be 18/63 - 75/(-7). Let b be r(j). Suppose -2*x - 1 + b = 0. Is 10/11 at least as big as x?
False
Suppose 0 = f - 6 - 3. Suppose -f + 27 = n. Suppose -2*s = -g - 35, 0 = -s + 5*g + 20 + 2. Which is smaller: n or s?
s
Let k be (-432)/62 + (30 - 23). Which is greater: -1 or k?
k
Let g(t) = -8*t + 185. Let c be g(24). Which is smaller: -12 or c?
-12
Let f be -2 - 9/(-1) - 8. Does f = 1/4576?
False
Let x(u) = -2*u**2 - 23*u - 47. Let y(j) = -3*j**2 - 7*j - 11. Let i be y(-2). Let q be x(i). Which is smaller: 2/11 or q?
q
Let n = 661 + -661.982. Let k = -0.018 + n. Let t = 5 - 8. Which is bigger: t or k?
k
Let w = 57 - 19. Let j = 58 - w. Which is smaller: -0.2 or j?
-0.2
Let q be 120/376*(-12)/(-10). Which is smaller: 1 or q?
q
Let w = 523.8 + -525. Is 3 smaller than w?
False
Let g be ((-2)/(-6))/((-2)/(-6)). Let y be (-480)/336 - 78/14. Do g and y have different values?
True
Suppose 21 = g - 10. Let b = g - 22. Is b <= 9?
True
Let k = -3 - -18. Suppose -3*v - 12 = -6*v. Suppose v*o + 7 = k. Is 1/2 <= o?
True
Suppose -4*i - 3*z = -0*z + 14, 4*i = 3*z - 2. Let m(c) = 0*c**3 - c**3 + 2*c + 877 - 878. Let d be m(i). Is 2 greater than d?
False
Let l = 476 - 3327/7. Let y be (-2 + 3)*(0 - 0). Is y >= l?
False
Let f be 1 + -4 - (3 - 2). Let a be ((-3)/12 + -1)*f. Let x = -6 + a. Is x greater than or equal to -2/13?
False
Suppose 5*q + 15 = 5*w, -3*w - 8 - 8 = 2*q. Let g be w + 8 + 20/(-5). Are 3 and g non-equal?
True
Let b = -1397 + 1306. Is b greater than -627/7?
False
Let h(v) be the first derivative of v**4/4 - v**2/2 - v + 5. Let m be h(0). Let z = 681/28 + -97/4. Which is smaller: z or m?
m
Let r = -14 - -11. Let h = r - 2. Let p = h + 4.92. Is p equal to 1?
False
Suppose -38*f + 32*f = 138. Are f and -21 equal?
False
Let v = 16643 + -1913931/115. Is 1 at most as big as v?
False
Let x = 1 - -10. Suppose -50 = 6*y - x*y. Suppose 2*s = 1 + 19. Is s greater than y?
False
Let d be (1 - 15/(-5)) + -107. Which is bigger: d or 1?
1
Let o = 855 - 854. Let k(f) = -f - 5. Let t be k(-6). Let j be (-3)/21*5 + t. Is o smaller than j?
False
Let z(i) = -i**2 - 5*i - 5. Let m be z(-2). Let n be (3 - m)*671/(-44). Let w = n + 31. Is w at least as big as -3/2?
True
Let c = -18 + 18.3. Let n be 85/(-15) + (-3 - -6). Let a = 37/15 + n. Which is bigger: a or c?
c
Let r = -332 - -2329/7. Let v(h) = h**3 + 4*h - 3. Let c be v(2). Suppose 5*t - c = -3. Which is smaller: t or r?
r
Suppose -3*t + 4 = p, -2*t - 3*p + 7 = 2*t. Let a be 36/(-27)*(-6)/(-4). Let d be (-2)/2*a/(-34). Which is bigger: d or t?
t
Let m be (-17)/4 - (-3)/12. Let q(d) = 8*d**2 - 1. Let b be q(-1). Let p(o) = -o + 4. Let t be p(b). Which is bigger: m or t?
t
Let t = 8.2 + -6. Let v = -1.7 + t. Which is greater: v or 3?
3
Let w = -0.1 + 0. Let u = 3.9 - w. Suppose 3*f = -3*v, -v - 3*v + 3*f - 7 = 0. Which is greater: u or v?
u
Let s(q) = q**3 - 2*q**2 - 2*q + 2. Let n be s(2). Let a(m) = -m**2 + 3*m + 7. Let v be a(5). Let u be v/(-9) - (0 + 1). Which is greater: n or u?
u
Let i = 80 + -95. Let d(p) = -p**3 - 15*p**2 + p + 4. Let m be d(i). Which is smaller: m or -14?
-14
Let y(g) = g**3 - 2*g**2 + 87. Let i be y(0). Which is greater: 83 or i?
i
Suppose 0 = g - 3*g + 2*v + 6, -4*g = -2*v - 10. Let f be (-42)/g + -1 + 2. Which is smaller: f or -23?
-23
Let q(u) = 5*u**3 - u**2 - u. Let r be q(-1). Let w(k) = k. Let m(l) = -6*l - 6. Let i(z) = -m(z) - 5*w(z). Let o be i(r). Is o greater than or equal to 15/7?
False
Suppose -2*v - 21 + 128 = s, -3*s - 36 = -v. Which is smaller: v or 49?
49
Let k = -9 + 14.1. Let d = -158 + 163. Let a = k - d. Which is greater: a or 0?
a
Let q(n) = n**2 - 6*n - 3. Let b be q(-2). Is b less than 9?
False
Let t = 0.045 - 7.045. Let b = 3 + -5. Which is smaller: t or b?
t
Let k be 122/(-915)*(-16)/3. Which is smaller: k or 1?
k
Let a = -265 - -263. Which is greater: a or -0.05?
-0.05
Suppose c + 20 = 5*c. Suppose 0 = 5*m - 2*x - x + 48, -24 = 3*m + 3*x. Let k = m + c. Is -2 smaller than k?
False
Suppose 1500 = 19*l - 7*l. Let q = 125 - l. Which is greater: q or -1?
q
Let t = -21581/20 + 1079. Are t and 43 non-equal?
True
Let g be 2/(1 + (-27)/21). Let m(s) = s**2 - 63. Let x be m(-8). Which is bigger: x or g?
x
Let b(m) = m**3 + 6*m**2 - m - 2. Let c be b(-6). Suppose -2*s + c*s - 2 = 0. Which is greater: s or -2/5?
s
Let p = 125 + -402. Let b = 607/2 + p. Let z = -26 + b. Which is bigger: 1/7 or z?
z
Let v(u) = -11*u**2 + u - 1. Let s be v(1). Let c = -9 - s. Is c less than 9?
True
Let i be (-2)/(-1) + (-3 - -3). Suppose -3*q - 5 = i*q. Let w = -6.2 + 6.1. Are w and q non-equal?
True
Let k = 235.9 - 236. Do k and -13 have the same value?
False
Let u be (-40)/(-6)*24/20. Let b be (-2)/((-6)/u - (-81)/(-4)). Which is greater: b or 1/4?
1/4
Let o = -138.1 + 132. Let v = o + -3.8. Let w = 10 + v. Which is smaller: -7 or w?
-7
Let l be 1 + 0 + (1 - 3). Let c be (l/10)/(2/16). Let g = 48.5 - 48.6. Which is bigger: g or c?
g
Let l be 50/3525*-1*2. Is l equal to -1?
False
Let i be 277630/504*114/15. Let s = -8377/2 + i. Let r = s - -19/9. Which is greater: r or -1?
r
Let t be (-8)/10 + 6315/(-75). Is -86 != t?
True
Let c = 2.24 + -2.44. Which is bigger: -0.083 or c?
-0.083
Let v(z) = -z + 10. Suppose 5 = k - 0. Let i be v(k). Which is smaller: i or 4?
4
Let t = 4.8 - 4. Let u = 2.24 - 5.04. Let z = t + u. Which is bigger: 0.3 or z?
0.3
Let d(q) = -2*q**2 + 51*q - 15. Let k be d(25). Let o be (-36)/(-15) - 4/k. Is o less than -4/17?
False
Let j = -5273/10 - -3861/10. Let y = 143 + j. Which is smaller: y or 2?
y
Suppose -5*d = -3*d - 40. Let y be (-93)/4 + (-15)/d. Let s = y + 23. Does s = -1?
True
Let b(d) = 2*d**2 - d + 3*d**2 + 4 - 6*d**2. Let j(x) = -x - 8. Let