42/126 - (-1)/(-2). Which is greater: g or r?
r
Let z(h) = -14*h**2 - 1. Let q be z(-1). Let t be ((-60)/(-21))/(10/q). Which is greater: t or -3?
-3
Let w = 240 - 118. Does -0.1 = w?
False
Suppose -5*b + 11 = -4. Do -12 and b have different values?
True
Let x = -291 - -291.821. Let g = x - 0.021. Is g less than -1?
False
Let d = -53 + 580/11. Let b = -5 - -5. Which is smaller: b or d?
d
Let y = -0.148 + 1.488. Let z = -1.3 + y. Let n = -1.3 - -0.3. Which is smaller: z or n?
n
Let a = -26.36 + -1.44. Let w = -29 - a. Which is greater: w or 0?
0
Suppose l - 2*b - 2*b = 41, -5*l + b + 129 = 0. Let c = 28 - l. Which is greater: -0.1 or c?
c
Suppose -3*b = -12, -4*d + 2*b - 12 = 12. Let y be (-17)/d + 3/(-12). Let o(l) = -l - 1. Let s be o(-3). Is s < y?
True
Let d be 0/(-11)*(1 - 0). Suppose 3*u - u + 18 = d. Let v = 7 + u. Is -2 <= v?
True
Let i be (((-1)/(-1))/((-6)/(-4)))/(12844/507). Let j be 0/((0 - -1) + 0). Is j bigger than i?
False
Let i = 2443 - 65969/27. Which is greater: 0 or i?
0
Let s(n) = n**3 - n**2 - 26*n + 114. Let g be s(6). Are g and 138 unequal?
False
Let g(k) = -k - 3*k + 5*k - 12 + 3. Let w(b) = -b + 2. Let d be w(-5). Let u be g(d). Which is greater: -1 or u?
-1
Let h(v) = 7*v + v**2 + v**3 + 9*v**2 + 12*v + 14. Let k be h(-8). Are k and -12 non-equal?
True
Let w = 57 + 188. Is -1/3 greater than or equal to w?
False
Let s be (-4)/(-135)*(-5)/6. Let u = s + -34/81. Suppose y = -y. Is u at most y?
True
Let y be -4 - 8 - 3/(-1). Let r(w) = 2*w**2 + 30*w + 47. Let k be r(-13). Which is smaller: k or y?
y
Let f be 10/(((-16)/4)/4). Let h = 8 + f. Let v be (0/(h - -1))/2. Is 1 at least v?
True
Suppose 7*f = -19*f - 1066. Suppose 5*h + 0*t + 2*t + 207 = 0, -h + 2*t = 51. Let n = f - h. Is 1/2 != n?
True
Let v = 14 + -11. Let t = v + 0. Let u = 1 + -0.9. Is t greater than or equal to u?
True
Let n(h) = 5*h**2 + 13 + 2*h - 4*h**2 - 20. Let v be n(-6). Suppose 0 = -l - 4*o - v, 0*l - 2*o = -l + 7. Which is greater: 2/41 or l?
2/41
Let o = -36 - -26. Let v = -8 - o. Suppose -3*l + m = 2*m - 10, 2*m = v. Is l greater than 2?
True
Let p(b) = -b**2 + 207. Let s be p(18). Which is smaller: -235/2 or s?
-235/2
Let f(r) = -2*r - 20. Let m be f(-15). Suppose -3*i - 1 = t + m, t = -2*i - 9. Which is smaller: i or -1?
i
Suppose m - 4*m - 5*l = -42, -5*m + 83 = 4*l. Suppose 2*t + 63 = 5*t. Let y = t - m. Which is smaller: 3 or y?
y
Suppose -5*d - 2*b + 36 = 0, 4*d - 14 = -3*b + 12. Let n = -14 + d. Let q = n + -9. Is -15 greater than or equal to q?
True
Let z be 38 + (-1 + 46)/5. Which is greater: 2 or z?
z
Let x = -23/42 - -17/14. Let n = 25.7 + -4.7. Are n and x unequal?
True
Let h = 10.91 - -0.09. Let w = 11.6 - h. Which is greater: w or 1?
1
Let w be ((-3)/(-18))/((-1)/(-64)). Let b(i) = -i**3 + 3*i**2 - 2*i + 10. Let c be b(0). Is w > c?
True
Let d = 1942 + -2822. Is -879 smaller than d?
False
Let b = -31.6 - -29. Let n = -28 - -29.6. Let u = n + b. Is u > -1?
False
Let l(y) = -y**2 + 11*y - 13. Let t be l(9). Suppose 5*m + 148 - 38 = 2*z, 110 = -t*m - z. Suppose 13*k = 16*k + 63. Which is greater: k or m?
k
Let u be (3 - 1)*(-30)/(-20). Suppose -2*x = 5*n - 10 - 0, -5*x = -u*n + 37. Which is smaller: n or 6?
n
Let n = -548.9 + 525. Let j = n + 24. Is j at most 21?
True
Let z = 1.58 + -5.58. Which is bigger: 20 or z?
20
Let n(h) = -h**2 + 4*h + 9. Let o be n(-6). Suppose -5*j - 267 - 1 = 4*z, 5*j + 2*z = -264. Which is smaller: j or o?
j
Let a(y) = -y**2 - 7*y - 1. Let f be a(-5). Let d = -6 + f. Suppose -4*m + 3*n + 2 = -5, 0 = 3*m - d*n - 6. Does m = 1?
True
Let v be (-2)/(-6) - 1600/(-150). Suppose -f - 2 = -u + 5, -20 = -4*f. Which is smaller: v or u?
v
Let x = 125.51 - -2.49. Let g = x + -115.1. Let u = g + -13. Which is smaller: u or -0.08?
u
Let l = -20.8 + 21.1. Is 2 <= l?
False
Suppose -2*v = 4*k - 222, -3*v + 6 + 3 = 0. Do k and 52 have different values?
True
Let r = -15 + 21. Let b(x) = -x**2 + 7*x - 2. Let m be b(6). Suppose -2 - r = m*z. Which is bigger: -6/11 or z?
-6/11
Suppose 6 = -22*v + 19*v. Let b be 1*v - (8 - 1344/138). Is 0 greater than b?
True
Let r = 7730939/6157170 + -3/68413. Let k = r - 6/5. Which is bigger: k or 1?
1
Suppose 3*r = 5*a - 73, -4*r + 0*a = -5*a + 99. Is r bigger than 2?
False
Suppose -10*s - 16 = 44. Do -9 and s have the same value?
False
Suppose 3*t + 5 - 95 = 0. Are 30 and t equal?
True
Let k(h) = 3*h**2 + 57*h + 95. Let c be k(-22). Which is greater: 294 or c?
294
Suppose 0 = -6*g + 5*g + 2*z - 3, -4*g + 2*z = 0. Are 2/307 and g equal?
False
Let d = 112 + -84. Let v = 33 - d. Is 10 less than v?
False
Let x = 30 - 203. Is x != -172?
True
Let h be (5/1)/(15/6). Suppose 0 = 2*b - 2*t - 22, -h*b + 2 + 35 = t. Let f be (3 - 8) + 1 + 21. Which is bigger: b or f?
f
Suppose 5*s - 10 = -0*s. Let r = 575/3 + -190. Which is smaller: s or r?
r
Let j = 6 - 11. Let n(h) = -h + 3. Let m be n(4). Let b be (-25)/(-10)*m*2. Is b at most as big as j?
True
Let v be (2 + 0)/(-4)*0/13. Suppose v = -3*h - h - d - 16, -2*h = -d + 2. Does h = 5?
False
Let u(r) = 2*r**3 - 6*r**2 + 4*r + 2. Let x be u(2). Is 6/5 > x?
False
Let q = -1275.4 - -1276. Let c = -0.8 + 1. Is q equal to c?
False
Suppose -3*u = n - 9, -3*n + 2*u = 4*u - 6. Let m(z) = -z**3 + 6*z**2 - 4*z - 1. Let f be m(5). Let s be 3*(-5)/((-1050)/f). Is n > s?
False
Let g(k) = 16*k - 15. Let o be g(1). Which is greater: o or -6/59?
o
Let a = 109.6 + 2.4. Let q be (-4)/7 + 648/3780. Is a smaller than q?
False
Let x = -562/9 + 6316/117. Which is bigger: -8 or x?
-8
Let x = 104 + -110. Let w be x/(-30) - 0 - 1. Is -2 < w?
True
Let w = 24/623 + -6905/66038. Is 0 greater than or equal to w?
True
Suppose 5*w + 43 + 57 = 0. Let x = w + 30. Is x less than 10?
False
Let f be (-2)/(-7) - (-2)/(-7). Let d be -2 + 4 + -2 - 8/(-1044). Is f at least as big as d?
False
Suppose 0 = 31*d + 283 + 89. Are d and -342/29 non-equal?
True
Let z(i) = 1 - 2 - 13*i**2 + 0. Let s be z(-1). Let w(g) = -g**3 - 24*g**2 - 21*g + 32. Let v be w(-23). Is v at most as big as s?
True
Let j(s) = -5*s**3 - s**2. Let h be j(1). Let m = -8365/8 - -1040. Which is greater: h or m?
m
Let d be (-42)/(-9)*-3 - -2. Let x be (27/(-6))/(9/(-6)). Suppose -5*s + x*r = 77, 2*r + 12 = 5*r. Is s < d?
True
Let d = 1.315 + -1.215. Which is greater: -10 or d?
d
Let x = -99 - -49. Let j = 12728 - 12730. Which is greater: j or x?
j
Let g = -2 - -1. Suppose -5*t = -0*t, -5*t = -3*q. Let c(i) = i**2 + i + 1. Let u be c(q). Which is smaller: g or u?
g
Let u = -146 + 148. Let k(r) = -2*r**3 - 3*r**2 + 2*r + 3. Let h be k(u). Are h and -22 non-equal?
True
Let y = 2/13 - 17/26. Let r be (49/(-14) - -4)*-2. Are y and r nonequal?
True
Suppose -4 = -2*j + 2. Is j less than -3/4?
False
Suppose -2*k + 4*i + 30 = 0, -18*i + 16*i - 60 = -4*k. Suppose -72 = 4*o + 2*d, 3*o + 2*d = -0*d - 56. Let x = o + k. Which is bigger: 1/18 or x?
1/18
Let w = -8 - -10. Suppose 2*y + 6 - w = 0. Let n be -2 + y/(4/(-10)). Which is smaller: 1 or n?
1
Let s = -5 + 6. Let d be (0 - (0 + 3))/s. Suppose -62*l = -61*l + 2. Is l smaller than d?
False
Let r be (27/(-15))/(3/(-30)). Suppose 14*g - 20*g = r. Is -30/13 greater than g?
True
Let z(h) = -10*h - 11. Let p(g) = 7*g + 7. Let a(t) = -7*p(t) - 5*z(t). Let y be a(-3). Suppose 27 = y*j - 0. Is j at least 8?
True
Let u = -67 - -66. Which is bigger: u or 240?
240
Let k = 939830/8037 + -2222/19. Which is bigger: k or 0?
0
Let m(i) = -i**3 - 19*i**2 + 22*i + 39. Let o be m(-20). Which is greater: o or 1/1053?
1/1053
Let g(f) = -8*f + 211. Let r be g(26). Is r smaller than 1?
False
Let g = -1 - 2.5. Let q = -86 + 432/5. Which is smaller: g or q?
g
Let t be -3 - -2 - (-2)/(-16). Let o = -156 - -96. Let x = 61 + o. Do x and t have the same value?
False
Let i be (4 + (-4 - -1))*-10. Let q be (-39)/26*(-14)/(-3). Which is bigger: q or i?
q
Let s = -3766/157 - -24. Do s and -1 have the same value?
False
Suppose 2*y = 7*y + 50. Let i be y/15 + -12*52/(-909). Is i < 1?
True
Let b = -4/2027 - -3575/784449. Which is bigger: 0 or b?
b
Let u(t) = -2*t**2 - 10*t - 1. Let l be u(-7). Let f be -4 + 0 - -5 - l. Suppose -6*z - f = -z. Which is smaller: -4 or z?
z
Suppose -308*p + 295*p + 13 = 0. Which is smaller: 32/21 or p?
p
Let a = -1.416 - -517.416. Is -1/2 > a?
False
Suppose 1 = -2*n + 5*o - 2*o, -5*n + 5*o = 0.