h is greater: -4/3 or x?
x
Let g be (43/172)/((-277)/8). Which is greater: -1 or g?
g
Let w = 362 - 13. Let i = w + -9073/26. Which is greater: 1 or i?
1
Let g(a) = 15*a - 46. Let m be g(4). Let r = 7 - 5. Is r < m?
True
Let c = -106/3 - -36. Let x(z) = -2*z + 6. Let j(r) = r. Let f(q) = j(q) + x(q). Let k be f(6). Which is smaller: c or k?
k
Suppose 48 = -4*l + 7*l. Let u = l - 7. Suppose -4*g + 3*g + 10 = 0. Is g < u?
False
Let a(k) = -k**3 - 9*k**2 + 4. Let f be a(-9). Let y(x) = -4*x**2 + 5*x - 21. Let d be y(f). Are d and -65 equal?
True
Let j = -98/3 + 33. Let w = -74/33 - 14/33. Let f = w + 13/6. Is j smaller than f?
False
Let l(g) = -5 + 7*g + 2*g**2 + 3*g - 15*g. Let w be l(5). Let v = w + -18. Is 2 less than v?
False
Let f = 2725/629 + -132/37. Are 0 and f equal?
False
Let j = -2582 - -2334. Which is smaller: -245 or j?
j
Suppose -152 = -q + 78. Is q equal to -2/9?
False
Suppose 2*i = 5*r + 4, 2*i = 5*r - r + 4. Let o be (-110)/(-90) - i/9. Is 1/25 != o?
True
Let h(x) = 105*x + 1050. Let v be h(-10). Let a be (-6)/(-14)*(-3)/9. Are v and a non-equal?
True
Suppose -73 = -5*g + 207. Let u be (-28)/(-98) + (-30)/g. Let a = -0.3 - 0.7. Which is smaller: u or a?
a
Suppose 8 = -6*b + 2*b, 0 = 4*h - b - 6. Is -10/81 equal to h?
False
Suppose -2*x - 8 = -h, -3*x = -4*h + 2*x + 20. Is h less than 3/23?
True
Let g = 3 + -3. Let m be (0 - 14)*(-48)/(-28). Let j be m/(-253) + 5/(275/(-10)). Do g and j have different values?
True
Let o = -3377.98 + 3414. Let n = o + -36. Let x be (-4)/6 - (-3)/(-9). Which is smaller: x or n?
x
Let q(i) = -5*i**2 - 32*i - 12. Let u be -3*(-4)/(-6) - (-64)/(-16). Let v be q(u). Which is smaller: v or -5/14?
-5/14
Let p = -7 + 8. Is p greater than or equal to -3/58?
True
Let d(z) = z**2 + 9*z - 40. Let f be d(-12). Let l(g) = -g**3 - 3*g**2 + 8*g + 10. Let i be l(-4). Which is bigger: i or f?
f
Let d = -39.9 + 30.92. Let w = -0.02 + d. Which is greater: -0.1 or w?
-0.1
Let p = -21 - -21.04. Let r(i) = i**2 + 6*i + 7. Let f be r(-5). Which is smaller: f or p?
p
Let b be 0/(5 - 4) - -14. Do b and 12 have the same value?
False
Let t = 73.6 - 81. Let c = -4.4 - t. Which is greater: c or 13?
13
Let h = -43 + 75. Let a = 32.03 - h. Which is smaller: 0 or a?
0
Let j be 30/26 - 18/117. Suppose 11 + j = 3*l. Is l less than 5?
True
Let x(l) = -l**3 + l**2 - 3*l + 2. Let f be x(1). Let h be (-3 + -1)*f/(-4). Is -1 <= h?
True
Let s = 19 + -17. Suppose o - 73 = 2*x + 2*x, 4*x = s*o - 78. Are x and -17 unequal?
False
Let u(y) = -y. Let c(o) = o**2 - 3*o - 8. Let a(q) = -c(q) - 4*u(q). Let g be a(8). Suppose i - 2*i + 1 = g. Which is smaller: i or -3?
-3
Suppose 0 = r - 3, -3*r = -4*t - 283 - 214. Is t bigger than -123?
True
Let d = -10.1 - -19. Let a = -9 + d. Which is smaller: 0.8 or a?
a
Let g be 5/(-40)*2*-4. Let k be ((-12)/292)/(9/(-6)). Which is smaller: g or k?
k
Let b = 3 + -2.4. Let w be ((-3668)/(-4716))/(28/6). Which is smaller: b or w?
w
Suppose 12*h - 1724 - 40 = 0. Is h not equal to 146?
True
Let i = -15.68 - -16. Let f = 0.25 - i. Is -0.2 not equal to f?
True
Suppose 0 = 3*o + 3*g, 5*g - 4 = -4*o + 3*g. Suppose -o*l + 15 - 21 = 0. Which is smaller: l or 12?
l
Let n = 42 - 41.954. Let g = 31.954 + n. Which is bigger: 2/3 or g?
g
Let d be ((-6)/4)/((-39)/104) + -4. Suppose 4*n = -3*g + 19, 3*g - 2*g - 4*n = 17. Let k be ((-27)/168)/(g/(-6)). Is k smaller than d?
False
Let t = 35 - 48. Let k = 31 + -18. Let w = k + t. Is 4 greater than w?
True
Let p = -6.2 - -1. Let l = p + 1.5. Is l > -2/3?
False
Let p be 4*((-9)/(-2))/(-3). Let i = 89 + -50. Let x = i - 46. Which is smaller: p or x?
x
Let a(p) = -p - 7. Let q(g) = 6. Let v(s) = -5*a(s) - 6*q(s). Let o be v(1). Suppose m = 2*d + d - 10, -o*d = -16. Is m > 6/5?
True
Suppose 3*x - 9 = -0*x. Suppose -5*a + 76 = -2*z - 2*z, -x*a + 32 = z. Suppose 2*o - a = 14. Is o equal to 13?
True
Let r = 9.73 + -0.23. Let q = r + -10. Is -0.1 bigger than q?
True
Let s be 6 + (-27)/6 + (10 - (9 - -2)). Let b = 3 + -9. Let n = b - -1. Is n equal to s?
False
Let y(x) = 0 - 7 + 5*x - 3*x - 7. Suppose -3*f + 2*g + 9 = -10, -f + 11 = 4*g. Let o be y(f). Which is greater: o or -1?
o
Let j be (-3)/39 - 980/(-5980). Let v be 4 + 0 + (0 - -1). Suppose v*u = u. Is j >= u?
True
Let p be 18*12/((-216)/(-1611)). Is p at most 1612?
True
Suppose 5*a = o - 33, 3*o + o + 29 = -3*a. Let r(u) = 42*u - 552. Let b be r(13). Does b = a?
False
Suppose -4*g + 1 = -3*r, -3*r - 2*g = -g - 4. Let s be r/2 - 27/2. Let z(y) = 4*y**2 - 21*y + 5. Let q be z(4). Is q greater than s?
False
Suppose 17 + 20 = 4*n + 5*q, 5*n = 5*q - 10. Suppose -3*o + 4 = v - o, -n*v = -o + 2. Which is smaller: v or -1?
-1
Let g be (-5)/((-35)/(-4)) - 27863/(-48895). Which is smaller: -1 or g?
-1
Let d be 6/4*9/12. Let c = d + -43/24. Which is smaller: 2/5 or c?
c
Let h = 487/3 - 11203/69. Let b(n) = n**2 + 3*n + 3. Let g be b(-2). Are g and h nonequal?
True
Let q = 144 - 137. Which is bigger: -38 or q?
q
Let m = -1118 - -1742. Which is bigger: 625 or m?
625
Let b be 845/76 + 2/8. Let y be -1 + -1 + (-13)/(76076/(-78384)). Let d = b - y. Which is smaller: d or 1?
d
Let r = -267343639 - -38230612275/143. Let n = 3300 - r. Which is bigger: n or 0?
n
Let t = 10.05 - -1.05. Let c = 11 - t. Is -16 greater than or equal to c?
False
Suppose 3*z = -2*q + 19, -q = 2*q - 6. Suppose -5*f + 81 = 4*l, -l + 33 = l + z*f. Which is smaller: l or 2?
2
Let h(y) = 28*y - 11 - 12*y - 15*y. Let g be h(4). Is -6 greater than g?
True
Let b be (270/(-36))/((-2)/(-8)). Is b at most as big as -30?
True
Let n be -146 - -139 - (0 + -8). Is n > 1/190?
True
Let k = -51 + 48. Let o = 232/7 - 2566/77. Do o and k have the same value?
False
Suppose 3*r - 163 = -5*f - 68, -4*f = 5*r - 63. Are f and 106/5 nonequal?
True
Let r be (9 + -11)*(-421)/10. Let s = r - 82. Is s not equal to 3?
True
Let f(a) = -2*a**2 + 41*a + 8. Let l be f(20). Which is bigger: 0 or l?
l
Suppose 2*m + 3*t - 8 = 9, -28 = -4*m - 4*t. Is m smaller than -24?
False
Let y be ((-7)/((-504)/68))/((-10)/(-6)). Let q = y - 1/6. Let f = -8 + 7.86. Is q less than f?
False
Suppose -5*z - 31 = -51. Suppose z*v = 4*p + 2*v - 10, 3*p - v = 7. Is -9 >= p?
False
Suppose 0 = 5*d - 3*d + 30. Let l = d + 17. Suppose -3*z - 3 = -f, -l*z = -4*f + 1 + 1. Is f at most as big as 1/2?
True
Let r(u) = u**2 - u - 10. Let q be r(0). Let w be -1 + (-14)/q - 24/(-15). Suppose -2*l - 9 = -3. Is w > l?
True
Let h = 431 + -443. Suppose 4*g + 3*j + 67 = 0, 3*j + 92 - 12 = -5*g. Is g at most as big as h?
True
Suppose 0 = -9*b + 4*b. Suppose -z + 4*z + 3 = b. Which is greater: z or -2?
z
Let k = 240.5 - 242.5. Is -12/11 not equal to k?
True
Let q(l) = -l**2 + l. Let v(d) = -5*d**2 + 3*d + 1. Let k(s) = -4*q(s) + v(s). Let u be k(-2). Let o = -14684/9 - -1632. Which is smaller: o or u?
u
Let o = -0.6 + 0.11. Let w = o + 0.77. Is 0.1 greater than or equal to w?
False
Let a be 2 - 0/(-3 - -1). Suppose -4*v + b = -b - 54, -a*v = 2*b - 24. Let p = 11 - v. Do -1/3 and p have the same value?
False
Suppose 3*x + 2*q - 56 = q, -3*x = 5*q - 64. Suppose 4*c = 2*c + 4*m + x, 4 = c - m. Let h be (-150)/80*12/10. Is h <= c?
True
Suppose -3*f + f = -6. Let j be 0/(-1*(f + -2)). Let r = -23/273 + -1/91. Does j = r?
False
Let c(u) = u**3 + 5*u**2 - 14*u + 15. Let b be c(-7). Suppose -5*w + 91 = 16. Is b not equal to w?
False
Let x be -2 - (-6 + 1 - 364/(-68)). Which is bigger: -1 or x?
-1
Let z = 0.04 + -1.64. Let p = -0.6 - z. Is p at most -9?
False
Let p be (-1)/((-1)/6) + 7 + -3. Does 10 = p?
True
Let z(d) = d**2 + 2*d - 1. Let n be z(-2). Let o be ((-69)/(-2))/(-3)*-2. Let i = o - 23. Which is bigger: i or n?
i
Let h = -33/988 - 1/52. Let x(a) = -a - 4. Let q be x(-3). Which is greater: h or q?
h
Let v be 7 - (-1 - (-11710)/1465). Which is smaller: -0.1 or v?
-0.1
Let a = -8.6 + 8.9. Let f be 2 + (-222)/(-9) - 3. Let s = f - 24. Which is bigger: s or a?
a
Let a(f) = 5*f + 37. Let v be a(-41). Is -169 smaller than v?
True
Let a(x) be the second derivative of x**5/10 + 3*x**4/4 + 2*x**3/3 - 3*x**2/2 - 12*x. Let t be a(-4). Let p be 2/2 + 11/(-4). Which is smaller: t or p?
t
Let z = -3 + 2. Let l = -3375 - -3374.6. Is z greater than l?
False
Let c = 3 + -2. Let z be 1*(-2 + 5/(-490)*-194). Which is bigger: z or c?
c
Let a(u) = u**2 - 10*u - 11. 