4. Suppose 0*t = v*t. Are t and -11 non-equal?
True
Let p = -2.7 + 1.7. Which is smaller: p or 20.1?
p
Let c = -0.3 + 0.2. Let r = 0.02 - -0.85. Let l = r + -0.78. Is l < c?
False
Let l = -23 - -27.5. Let h = l - -2.5. Let m = -0.066 + 0.066. Are m and h unequal?
True
Let l be 2/(-6) + (-10)/24. Let z be 15/6*16/5. Let x be z/(-12)*(-6)/4. Is x <= l?
False
Let p be (-24)/84 + (-368)/(-14). Let s = -9 + p. Are s and 18 equal?
False
Let f = -0.161 - -0.219. Let d = f + 4.942. Which is bigger: d or 4?
d
Let k = 1/547 + 3277/2735. Which is smaller: k or 0.1?
0.1
Let x = 276335/82 + -3370. Which is smaller: 1 or x?
x
Let x = 70637/9 - 7863. Which is smaller: -13 or x?
x
Let d be (-19)/((-38)/20) + -10. Which is smaller: d or -4/73?
-4/73
Let f = 1063 - 639. Is 422 greater than f?
False
Let s = 475 - 1427/3. Which is smaller: s or 0.05?
s
Suppose -4*t + 39705 = -14319. Let m be t/21 - -2 - -3. Let q = m - 647. Which is smaller: 2 or q?
q
Let v = -1838 + 1836.769. Is -2 equal to v?
False
Let n = -129 + -121. Is -249 greater than n?
True
Let d = 0.34 + -0.34. Let g = d + 9. Is g >= -1?
True
Let j(q) be the second derivative of -2*q**3/3 + 22*q**2 + 7*q. Let d be j(11). Is -2/65 smaller than d?
True
Suppose -5*u - 12 = -4*f - 7*u, -4*f = -u. Let r be 504/254 - (-3 - -5). Is f >= r?
True
Let h = 83/15 - 26/5. Let l = 4457.89 + -4481. Let k = l + 23. Is h > k?
True
Let l(i) = -5*i - 21. Let t be l(-4). Let w = -1003 - -545. Let k = 21528/47 + w. Which is greater: t or k?
k
Let p = 0.185 - 150.185. Let b = p - -149.29. Which is bigger: -0.1 or b?
-0.1
Let w be (-6)/(-15)*10 + -3. Which is bigger: w or -11/41?
w
Let d(n) = -n**3 - 11*n**2 + 11*n - 11. Let c(t) = -t**2 + t. Let g(i) = -2*c(i) + d(i). Let w be g(-10). Let f be (12/8)/(11 - w). Which is greater: f or -1?
f
Let c(m) = -4*m + 4. Let n be c(1). Let w be (-146)/(-42) + 2/(-14) - n. Is w bigger than 2?
True
Let o be 9*(2/(-6) - -1)/2. Suppose -22 = o*a - a - 4*t, -6 = -2*t. Are -5 and a unequal?
False
Let q(f) = 3 + f**2 - 1 - 3*f + 6*f - 6. Let y be q(-5). Let r be (52/(-12))/((-2)/y). Does r = 13?
True
Let j = 49 - 81. Let i be j/(-14) - (-18)/(-63). Let z be 2/4 + (1 - -1). Which is smaller: z or i?
i
Let c(d) = -3*d**2 - 7 - 2 + 2*d**2. Let b be c(0). Suppose -3 = -k, -15 = -0*i + 3*i + 5*k. Is b greater than i?
True
Let o be (13 + 2)*(-40)/12. Let p = o + 34. Let m be 4 - -4*12/p. Is m >= 3?
False
Let z = -314 - -950/3. Let l(h) = 3 - 2*h**2 - 3*h**3 - 2 + 5*h**3 - h**3 + h. Let x be l(2). Is x > z?
True
Let v(f) = f**3 - 15*f**2 - 2*f + 29. Let w be v(15). Let k = 42.96 - 40. Let p = -0.04 - k. Which is smaller: p or w?
p
Suppose 0 = 4*s - 5*q + 315, -34*s - 4*q - 363 = -29*s. Do s and -72 have different values?
True
Let k = 67 + -126. Is -64 greater than or equal to k?
False
Let i = 907/3 + -287. Is 16 > i?
True
Let a = -197 - -197. Which is bigger: a or -2/553?
a
Let r = -146.054 + 0.054. Let c = 146.105 + r. Is c greater than -1?
True
Let b = -1.12 - -2.12. Is 1.57 < b?
False
Suppose -27*p + 42 = -39. Which is greater: p or 23/15?
p
Let b(g) = g**3 - 8*g**2 - 7*g - 16. Let q be b(9). Suppose -4 = -4*y - 24, 0 = 5*n - q*y - 75. Let d = -9 - -21. Which is bigger: n or d?
n
Let j = -660 + 667. Is j not equal to 0.04?
True
Let x = 813295/279 - 2915. Are x and 0 nonequal?
True
Let a = -2464 - -2472. Suppose j + 20 = c + 6, -3*c + 17 = 2*j. Is a equal to c?
False
Suppose -6*b - 24 = -2*b. Let h be b + 2/((-8)/(-12)). Let w = 1 + h. Which is greater: w or -5?
w
Suppose 6 = 2*g + g. Suppose 0 = m + g*m. Suppose -d + m = -3. Which is smaller: d or 4?
d
Suppose -5*k = -k - o + 10139, 0 = 4*k + o + 10141. Let u be 949/k - 4/30*-3. Which is greater: u or 0?
u
Let n = -3 + -46. Let q be (4/(-42))/(7/n). Is q bigger than 1?
False
Let i = 159 - 182. Is 1/2 > i?
True
Let w be 18/12*(-2 - -4) - 113. Let t = 97 + w. Which is bigger: -14 or t?
t
Let n = 116 - 349/3. Do n and 3/11 have the same value?
False
Let q be ((-6)/(-1))/((-4)/(-6) - -4). Are 0 and q equal?
False
Suppose 7*b = 3*b + 20. Suppose -4*m - 5 = b*j - m, j = 5*m + 27. Which is bigger: j or 7?
7
Let o(a) = a**3 - 18*a**2 - 34*a + 293. Let r be o(19). Let g = 4 + -1. Which is bigger: r or g?
r
Let t(d) = d**3 + 3*d**2 - 4*d + 2. Let q be t(-4). Let j be 14/2*36/42. Let c(f) = -3*f + 19. Let m be c(j). Which is smaller: m or q?
m
Let m be 3 + (-6 + 0 - -6). Which is greater: m or 4.9?
4.9
Let o = 2261/9 - 251. Let c(x) = x**2 - 9*x + 10. Let i be c(5). Let u be -4 - (35/i - 1). Which is bigger: o or u?
u
Let w = -123 + 2709/22. Let h = 7 + -12. Let g = h + 5. Is g greater than w?
False
Let h = -97 - -97.4. Which is smaller: h or -1/24?
-1/24
Let t be (-1040)/(-60) + -16 - (-28)/(-12). Let b(x) = x**2 + x - 2. Let j be b(-2). Let s = 1 + j. Is s smaller than t?
False
Suppose -4*h + 4*a = 36, 3*a = h + 1 - 2. Let b be (-126)/h*2/6. Is b greater than or equal to 0.5?
True
Let k(n) = -n**3 - 7*n**2 + 5*n - 4. Let f be k(-8). Suppose 0 = 2*c - f + 176. Is -78 != c?
False
Suppose -5*x + x = 8. Suppose -5*h + 2*w = -58, 3*h = 2*w + w + 42. Suppose 18 = r - 5*y, 0 = 4*r + 3*y + 10 + h. Is x less than or equal to r?
True
Let s be (-3)/(-15) + 19/5. Suppose -5*i + 9 = -s*g + 1, 2*i - 10 = 5*g. Let t(m) = m**2 + m - 3. Let f be t(g). Is f != 0?
True
Suppose -4*g + 2*b = -22, -5*g + 2*b + 19 = -2*g. Let r be (-7)/g - 2/3. Suppose -7 = -4*u + 5*j, -2*j = -22*u + 19*u. Which is greater: r or u?
u
Let q = 0.2597 + 22.1203. Let u = q - 48.41. Let g = -26 - u. Which is greater: g or 2?
2
Suppose -4*x - 99 - 369 = 0. Let j be ((-169)/x)/(80/(-6)). Let s = -5/24 - j. Which is greater: s or -1?
s
Suppose 4*s + s - 2*o + 5 = 0, 1 = -s + o. Is -5/12 > s?
True
Let v = -0.3 - -0.1. Let f be (2 - 1)*1 + 1. Let n be (f/5)/((-7)/5). Which is smaller: v or n?
n
Let t = -1 - 1. Let m = -42.4917 + -0.5083. Which is bigger: m or t?
t
Let v be (-46)/3*10*9/(-6). Suppose -12*l = -v - 322. Is 45 greater than l?
False
Suppose i - 3*v = -i, 5*v = 5*i - 10. Let z be i*(-2)/(-136) - 0. Let w = 14891 - 14890. Is w at most as big as z?
False
Suppose 0 = 4*s - h - 1, 0 = -5*s + 2*h + 2*h + 15. Let b = 1479 + -122759/83. Which is greater: b or s?
b
Let n = 5 + -1. Suppose n*z + 5 = -7, -a - 5*z - 16 = 0. Let c(x) = -2*x**2 - 2*x + 40. Let g be c(-5). Which is smaller: g or a?
a
Let c = 39.18 - 0.18. Let n = c - 21. Which is smaller: n or 0.1?
0.1
Suppose 0 = -x - 1 + 2. Let f be -6 - (-267)/(-90)*-2. Is x bigger than f?
True
Suppose 3*b = 2*z - b - 16, 4*z - 2*b - 14 = 0. Let p be (7 + -3 - 4)*(-1)/z. Which is smaller: 0.8 or p?
p
Let i(a) = a**3 - 6*a**2 - 2*a + 8. Let f be i(6). Let h be -4*(-2)/f - 1. Which is smaller: h or -5/3?
h
Let b = -14/248737 - -172381643/122627341. Let l = 51/29 - b. Is -1 at most l?
True
Let g = -370 + 657. Let l be g/308 + (-2)/11 - 1. Is l not equal to 4/7?
True
Let u = 22803/25 - 912. Let m = u + -37/100. Does m = -1.1?
False
Suppose -103 - 233 = -3*h - 5*i, h = -i + 110. Let q = h - 98. Is 10 equal to q?
False
Let v = -675 - -708.1. Let q = -33 + v. Which is smaller: 45 or q?
q
Let f = -1 + 17. Let v = f - 31. Is v != 2/7?
True
Let m be 1166/(-1316) - 12/(-28). Let v = 47049/47 - 1001. Let i = v - m. Is i != 1?
True
Suppose -47*d = -50*d. Is d greater than -2/1155?
True
Let f = -2428 + 1483. Which is smaller: f or -944?
f
Suppose 0 = -q + r, 4*r + 7 - 14 = -3*q. Let b be ((-26)/(-78))/(q/12). Which is bigger: -4 or b?
b
Let v(z) = -2*z**3 + 13*z**2 - 8*z + 6. Let h be v(6). Let b be (-8)/h*(-27)/6. Let r be (-9)/(15/b + 1). Which is bigger: r or 5?
r
Let r = 230.1 - 192. Is -0.1 equal to r?
False
Let v(h) = -h**2 + 3*h + 16. Suppose 2*g - 3*p + 9 = 0, 0 = 3*g + 5*p - p + 5. Let y be v(g). Is y bigger than -10/7?
False
Let p = -3.1 - -3.28. Let b = p - -0.22. Is b != -0.1?
True
Suppose s = 3*s + 5*b + 32, 5*b = -5*s - 95. Let o = s - -21. Let g be ((-4)/57)/(6/9). Does o = g?
False
Let h = -0.0415 + 100.0415. Which is smaller: 2/9 or h?
2/9
Let y be 13/(-71136)*-16*3/(-2). Which is bigger: y or 1?
1
Let q = 67.74 - 5.74. Which is bigger: -1/4 or q?
q
Let r(h) = 2*h**2 - h - h**2 - 5 - h**3 + 2*h**3. Let f be r(0). Suppose 6*t + 5 + 13 = 0. Which is bigger: f or t?
t
Let h = 56 - 56. Which is smaller: 1/102 or h?
h
Let s(l) = l**3 + 7*l**2 + 8*l + 1