)/((p/(-8))/3). Is h > 3?
True
Let u be (-4485)/45 - (-8)/(-6). Is u > 0?
False
Suppose 0 = -4*x - 0*x. Suppose x = 5*t + 5*l + 75, 5*l + 33 = -t - t. Suppose 4*u - 2*j + 43 = j, 51 = -3*u - 4*j. Are t and u unequal?
True
Let h be (8/(-175))/(-1*(-4)/(-10)). Is h smaller than 1?
True
Let o = 886 - 878.922. Let c = 0.078 - o. Is -1 not equal to c?
True
Let n = -0.1 + -0.9. Let g = n - 3. Let d = 7582 - 37913/5. Which is smaller: d or g?
g
Let g = 7.6 + -7. Let u = g + -2.6. Let z = -152577/533995 + 1/76285. Is z != u?
True
Let y(d) = 2*d**2 - 16*d + 3. Let k be y(8). Suppose -4*t = -n + 9, -n = 3*t + k + 2. Is -5 at most n?
True
Let g = -17426183/26 + 670539. Let l = g - 607/2. Which is greater: l or -1?
-1
Suppose 4*n - 6*n = 3*j + 52, -4*n + 2*j = 72. Let m be n/(-7)*(-6 - -13). Which is smaller: m or 21?
m
Let l(g) = -g - 1. Let i be l(2). Let r = -59548/23163 + -2/3309. Is i not equal to r?
True
Suppose -18*x + 20*x = 66. Let n be (-2)/(-3) + -1 + 35/x. Which is greater: 2 or n?
2
Let g = -42.6 - -42.2. Let q = -0.3 + -0.2. Which is greater: q or g?
g
Let l = -368 + 1801/5. Is l at most -7?
True
Let x(r) = 15 + 38*r - 56*r + 11 + r**2. Let m be x(16). Is -3 less than m?
False
Let t = 19.1 - -3.9. Let z = t - 26. Is 1/5 at least as big as z?
True
Let l = 0.014 + 20.986. Let q = 19 - l. Is q != -7?
True
Let i = 77 - 74. Suppose 4*w = -4*u + i*w, -5*u - 25 = -5*w. Is 5/18 >= u?
True
Let z be ((-152)/(-16))/((-2)/(-8)). Is z < 39?
True
Let m be ((-960)/196)/((-108)/(-28) + -4). Which is smaller: m or 35?
m
Let r = 464 - 465. Let j be 18/(-8)*1/12. Is j less than r?
False
Suppose m + 5*a = 2*m - 5, -4*a + 68 = 4*m. Let q(g) = -4*g - 3. Let d be q(-4). Suppose -6 = d*c - m*c. Is 4 > c?
True
Let j be (-138*(-8)/(-27))/2. Which is smaller: j or -19?
j
Let z = -116.876 + 117. Which is smaller: 2 or z?
z
Let s = 876 + 140. Are s and 1015 nonequal?
True
Suppose -665*v = -685*v + 1800. Is v smaller than 95?
True
Let m be 184/58 + (0 - 3). Let j = -188/87 - m. Is j smaller than -1?
True
Let q be ((-4)/3)/((-10)/75*5). Let t be (24/(-20))/(q/(-165)). Is t > 98?
True
Suppose -5*w - 2*c - 2*c - 90 = 0, 2*w = -5*c - 53. Suppose 2*o - 2 = 0, -2*o - 12 = 5*h + 71. Let g = w - h. Is 4 equal to g?
False
Suppose -3*n + 24 = -n - 4*c, 3*c - 4 = -4*n. Suppose -n*o + 0*o = 0. Let p be (3 + 402/(-126))/((-4)/18). Are o and p equal?
False
Let z be -30*(0 + (4 - (-156)/(-15))). Is z less than 192?
False
Let q(d) = d**3 + 9*d**2 - 9*d + 8. Let l be q(-10). Suppose -4*k + 2*k - 2 = 5*t, -5*t + 28 = -3*k. Let u be (-156)/36 - 2/k. Which is greater: l or u?
l
Let h = 24/31 - 399/155. Which is smaller: h or -2.6?
-2.6
Suppose -2*m + 1 = 5*n, -4*m - 10 = -4*n + 2. Let y(q) = -4*q - 1. Let x(j) = j. Let f(b) = 6*x(b) + y(b). Let t be f(n). Are t and 3 non-equal?
True
Let m = -74.07 + 74. Let r = -0.4 - -0.3. Is r greater than or equal to m?
False
Let v = -0.07 - -0.44. Let m = 31.83 - 32. Let t = m + v. Is t at most as big as 2?
True
Let z = 7.8 + 1.2. Let n = z + -7. Does n = -4?
False
Let g = 134 + -133.6. Which is greater: -1/4 or g?
g
Suppose 0 = 5*m - 2*m + 4*x + 1282, -4*m - 1731 = x. Let u = -837/2 - m. Is u at most as big as 15?
False
Let g = 477 + -482. Which is bigger: g or -16?
g
Let m = 37.1 - 39. Let l = -0.3 - m. Let c = l - 2.6. Which is greater: c or 1/3?
1/3
Let u = -0.1287 - 678.8713. Is u greater than -2/5?
False
Let t = 4120 + -4129. Let a = 0 + -0.1. Which is smaller: a or t?
t
Let n = -1517 + 1512. Suppose 3*l - 7*l + 24 = 0. Let y = -11 + l. Is n at least as big as y?
True
Let c be (7 + 10/(-10))*2/10. Which is smaller: 0.2 or c?
0.2
Let t = -1249 + 944. Is t at least -303?
False
Suppose 2*u - 18 = 5*h - 0*h, -3*u + 4*h + 20 = 0. Suppose -u*b = 8 - 0. Suppose 42*z = 26*z. Is b less than or equal to z?
True
Let v(k) = -k**2 + 5*k + 2. Let n be v(7). Let y be (-4)/(-10) - n/(-30). Let q = 2 + -1.7. Which is bigger: y or q?
q
Let z be (-1)/((624/186)/(-8)). Is 2 at most as big as z?
True
Let l(n) = n**2. Let w be l(0). Let m be (-1180)/(-66)*(-60)/125. Let g = m - -42/5. Is w greater than or equal to g?
True
Suppose -3*u + 8*u = -2*d - 86, -2*d - 4*u - 90 = 0. Suppose -3605 = -5*s - 3860. Which is smaller: s or d?
d
Let x = 2306 - 2263. Which is greater: x or 40?
x
Let x = -2528/1175 - -56/47. Which is bigger: 0 or x?
0
Let f(y) = y**3 - 13*y**2 - 14*y + 2. Let a be f(14). Is 80 less than a?
False
Let a be -7 + 8 - (-13 - 1). Suppose 13*j = 8*j + a. Let f(m) = m**3 + 9*m**2 + 7*m - 4. Let v be f(-8). Which is greater: j or v?
v
Let v = -2.7 + 3. Let r = 68.3 + -65. Let y = v - r. Which is bigger: y or -1?
-1
Let w be 3 - ((-7940)/(-2508) - (-8)/(-76)). Which is bigger: 1/27 or w?
1/27
Suppose -z - z + 8 = 0. Suppose 7 = z*l - 1. Suppose -l*w = -0*w + 2. Which is smaller: w or -4?
-4
Suppose -98 = 2*t - 5*t - f, t - 4*f - 11 = 0. Let k be (0 - t)*-1 + -1. Suppose g - k = -g. Which is smaller: g or 16?
g
Let u = -6.1 - -4.1. Let o = u + -2. Is o equal to -1/2?
False
Suppose 4*l + 3*u - 29 = 2*u, 5*u + 55 = 5*l. Let v be (3 - 6)/(l/16). Which is smaller: -4 or v?
v
Let u = -531 - -551. Do -4 and u have the same value?
False
Let g(z) = 5*z + 31. Let j be g(-16). Let o = 22 + j. Which is greater: o or -29?
o
Let z = -430 + 307. Does z = -118?
False
Let k = -446 - -446. Is 1/843 greater than k?
True
Let k(n) = 2*n**2 - 12*n + 3. Let y be k(6). Let f = 10 - y. Which is greater: 8 or f?
8
Let w be (-76)/(-57)*3/10. Let v = 1/5 - w. Let p be (-6)/(-8) - 2/2. Is v at least p?
True
Let u = -0.12 + 1.82. Let y = u - 1.6. Is 4 <= y?
False
Let z = -9589/2968 + 7/424. Let b = -19/7 - z. Is 5 at least as big as b?
True
Let y(d) = -4*d**2 - 99*d - 25. Let i be y(-15). Is i less than -0.1?
False
Let v(f) = -8*f - 8. Let x be v(-1). Is 4/31 less than or equal to x?
False
Let m = 89 - 58. Let n be 33 - (5 + -2 - 1). Is m equal to n?
True
Suppose b + 5 = -q, -b - 2*q + 0 = 9. Which is smaller: 5/18 or b?
b
Suppose -174 = -5*p - 3*n, n + 38 = p - 0*n. Let c be (-11)/(-4) - (-9)/p. Suppose 4*i = -5*h - 132, 2*h - 64 = c*i - 3*h. Which is bigger: -29 or i?
i
Let h(f) = -f**3 - 16*f**2 + 18*f + 19. Let p be h(-17). Suppose 2*y + 4 = 2*v, -p*v + 5 = -7*y + 4*y. Is v equal to 1?
True
Let u be (-1 + -38)*(26/3 - 9). Does 12 = u?
False
Let o = -1654 - -1732.9. Let t = -79 + o. Which is smaller: 1/7 or t?
t
Let h = 1486 - 135232/91. Is 0 smaller than h?
False
Let k be 38/14 + 160/560. Which is smaller: 54/17 or k?
k
Suppose -3*l = -32 - 1. Suppose l*r = 13*r - 4. Is r greater than or equal to 2/9?
True
Let m = 11696/7 + -5036/3. Let c be ((-4)/(-10))/((-28)/(-500)). Let x = c + m. Which is smaller: -3 or x?
-3
Suppose -4*q + 3*q - 3 = 0, p - 5*q - 16 = 0. Let x(l) = -3*l**2 + 4*l. Let d be x(6). Let c be d/(-41) + (-4)/2. Which is bigger: p or c?
p
Let m(p) = -2*p - 24. Suppose b + 5*v + 23 = -2*b, 0 = -4*v + 8. Let n be m(b). Let x be (-93)/42 + n/7. Is -4 bigger than x?
False
Let p = 56/663 - 1/39. Let m be ((-3)/9)/(2/(-30)). Let c(l) = l**3 - 5*l**2 - l + 6. Let x be c(m). Which is smaller: p or x?
p
Let x(w) be the third derivative of w**4/24 - w**2. Let z be x(0). Let f(v) = v**2 + 5*v + 6. Let k be f(-3). Are k and z non-equal?
False
Suppose 4*l = 48 - 0. Suppose 5 = 4*w - 11, -2*i - 3*w + 34 = 0. Do l and i have the same value?
False
Let i(m) be the second derivative of 0 + 7/6*m**3 + m**2 + 1/12*m**4 - 2*m. Let l be i(-2). Is -8 at least as big as l?
True
Let r(k) = -k**3 - 8*k**2 + 9*k + 6. Let f be r(-9). Let l be ((-4)/f)/(2/1608). Let p = -6437/12 - l. Which is bigger: 1 or p?
1
Suppose 5*j - 35 = -q - q, 5*q - 80 = -5*j. Suppose -67 = -3*y + 4*n, 3*n + 9 = y - q. Let d be y/(-7) - (-2 + -1). Are d and 1/3 unequal?
True
Suppose 0*v - 9 = 9*v. Let b be (6 - (1 - 1)) + -2. Which is greater: b or v?
b
Let w be ((-70)/4 + 1)*(-2852)/(-93). Does -506 = w?
True
Suppose 0 = -a + 4*d - 19, -a - 2*a = -4*d + 17. Let b be ((-2)/(-8) + (-246)/(-8))*a. Let c be (-2)/7 + (-212)/(-7). Which is greater: c or b?
b
Suppose 0 = s + 6*s + 42. Let o be 27/(-6)*56/s. Is -1 at least o?
False
Let r = 318 + -217. Are 101 and r nonequal?
False
Let i = -13 - -18. Let a(d) = -d**3 + 7*d**2 + 8. Let m be a(7). Suppose i*c - m = c. Is 2 greater than or equal to c?
True
Suppose -5*l + 10 = -4*o, 