ch is greater: v or 5?
5
Let z = -51.96 - -54. Let v = z - 2.031. Which is bigger: v or 0.2?
0.2
Suppose -n - 4*j = -93, -30 = -576*j + 581*j. Is 13/3 greater than n?
False
Let n be (5/(-10))/((-4)/(-110))*-4. Suppose y = -n*y + 56. Suppose -19 = -5*z - 3*h, 3*z - 12 = -5*h + 9. Is y != z?
True
Let t = -4/6115 + -57441/61150. Is t at least -1?
True
Let s = 2.2 - -18.8. Let t = s - 23. Is t less than -14?
False
Let n(v) = -12*v + 87. Let c be n(7). Suppose -5*y - 229 = 3*b + 141, -c*b + 198 = -3*y. Are -1 and y non-equal?
True
Let f be (-4)/(-4992)*2606 + -2. Let z = f - 1/39. Suppose 42*i = -28*i. Is i bigger than z?
False
Let y(f) = -5*f**3 + f**2 - 16*f - 39. Let g be y(-3). Are 156 and g equal?
False
Let z = 3 - 1.5. Let c = z - 0.5. Let j = -18428 + 18422. Is j at most as big as c?
True
Let v(x) = -x**2 - 3*x - 3. Let b be v(-3). Let s = 6843684/13 - 526439. Is b != s?
True
Suppose 0 = 5*k + 4*y - 80, -19*k + 18*k - 8 = -4*y. Suppose -5*j = 5*p - 20, -p - 2 = 4*j - k. Let z = 7 - 4. Is j <= z?
True
Let x(z) = z**3 - z**2 + z + 32. Let i be x(0). Let y be (-2 - i/5) + 0/2. Suppose 4*m + w + 0*w + 41 = 0, 4*w - 7 = 3*m. Which is greater: m or y?
y
Let d = -30 - -29. Let c be 124083/(-85) + (0 + d)/5. Let k be (c/484 - -3)/((-4)/(-6)). Is k <= 1?
True
Let n(r) = 2*r - 11. Suppose 3*p = 3*u - 51, -3*u + 3 = -4*p - 46. Let c be n(u). Let z = -63/2 + c. Is z less than or equal to -4?
True
Let r(a) be the first derivative of -a**3/3 + 7*a**2/2 - 6*a + 11. Let w be r(6). Let f = 21.949 + 0.051. Is f bigger than w?
True
Suppose -427*x = -444*x - 17. Let k = -2/993 + -22817/10923. Is k smaller than x?
True
Suppose 0*c + 4*c = -4*g - 8, -3*g - 9 = 0. Which is bigger: -1/50 or c?
c
Let w = 2328 + -2329. Which is greater: w or -400/11?
w
Let f = -20233/11 + 1841. Suppose v + 0*v = 3. Is f at most v?
True
Suppose 412*u - 417*u + 240 = 0. Let x be 3630/u*-2 - (-4)/16. Is x >= -152?
True
Suppose 26 = m - 660. Let i = m + -1918. Let j be -1 + 9/7 + 338/i. Which is smaller: 0 or j?
0
Let q = -0.4 - 0.6. Let p(f) = -f + 32. Let w be p(26). Let c(y) = -y**3 + 5*y**2 - 3*y - 15. Let v be c(w). Is v > q?
False
Let x = -0.02222 + -0.37778. Let b = 17.6 + -20. Let j = -0.4 - b. Is x greater than j?
False
Suppose 0 = z + 2, -3*z - 35 = -2*r - 15. Suppose 31 = r*x - 4. Which is smaller: 7 or x?
x
Suppose 4*q = -4*k + 716, -2*q + 0*q + 367 = 5*k. Let d be (-3)/(-12) + (-190)/(-8). Let v be (q/d)/(6/27). Are v and 65/2 nonequal?
True
Let l(m) = 5*m**2 + 4*m + 11. Let x be l(5). Suppose -5*q = c - x, -468 = c - 4*c + 4*q. Let j be c/(-160) + 0 + 1. Which is bigger: j or 1?
1
Let c(g) = -g**3 - 146*g**2 + 7*g - 566. Let s be c(-146). Are 2/11 and s unequal?
True
Let x = -2452.5 - -2450.5. Which is smaller: 0.03418 or x?
x
Let w(b) = -23*b**2 + 11*b + 45. Let a be w(-3). Let d = a - -389/2. Is -1 greater than d?
False
Suppose 165 = 4*p - 67. Let n = p + 21. Which is smaller: n or 80?
n
Let m = -3907 + 3926. Let b(i) = i**2 - 15*i + 20. Let v(f) = f**2 - 16*f + 21. Let l(a) = -4*b(a) + 5*v(a). Let z be l(m). Do 6 and z have the same value?
True
Let t = 4.763 - 75.763. Do t and -2/3 have the same value?
False
Let d(n) = 44*n**3 - 9*n**2 + 26*n - 31. Let x be d(3). Is 1154 not equal to x?
False
Suppose 42*f - 1584 = 36*f. Let h = -297 + f. Which is greater: h or -32?
-32
Let r be 7 + (-22659)/(-14) - 3/6. Do r and 1626 have different values?
True
Suppose 0 = -3*g - 159*u + 154*u - 63, -405 = 11*g - u. Suppose 109 = j - 6*z + 4*z, 5*j - 3*z = 531. Suppose 0*f + j = -3*f. Is f less than g?
False
Let x = 2/1013 + 3023/8104. Let w = -6 + 24. Let g = -18.1 + w. Is g bigger than x?
False
Suppose -5*q = 5*f, f + 4*q - 16 = 7*q. Suppose f*m + h = 2308, 0 = 5*m + 3*h - 1107 - 1785. Does m = -0.1?
False
Let c be (-3)/(-1*(1 + 0)). Let u be 134676/72*(-2)/(-84). Let w = 185/4 - u. Is c > w?
True
Let i = 2300465/16 + -209764955/1456. Let f = -45284 - -314948/7. Let p = i - f. Which is greater: p or 2?
2
Suppose 3*g + 12*m - 477 = 15*m, 0 = 2*m + 16. Is 1677/11 > g?
True
Let f(d) = -d**2 + 16*d - 61. Let z be f(8). Suppose 0 = 2*k - 4*u + 322, 468 = -0*k - z*k + u. Is k less than -155?
False
Let h = -82 + 88. Suppose 5*b + m = -9 + 7, 0 = -2*m + h. Is -12 equal to b?
False
Let a = 99/875 + -57648/504875. Does 1 = a?
False
Let b be ((-15)/(-5))/(3/3). Suppose -b*f - 15 = 3*p, -5 = 4*f + 3*p + 10. Which is greater: -3/47 or f?
f
Suppose 0 = 5*q - 2*l - 26, l = -3*l - 12. Suppose q*c - 27 + 11 = 0. Suppose c*b = 8, -k + 4*b - 64 = 3*k. Are -11 and k non-equal?
True
Let o = -26 + 26. Suppose o = h + h - 12. Let c be h/(-1)*(20/(-15) + 2). Is c at most as big as -2?
True
Let l = 88188 + -88218. Suppose -2*k + 3*k = -4*i - 101, -2*i = -2*k - 192. Let h = k + 68. Is h >= l?
True
Let p(y) = 14*y - 165. Let k be p(14). Suppose 3 = -k*h + 32*h. Suppose g - 5 = -3. Which is smaller: h or g?
g
Let k be (-63)/(-147) - 306/(-70). Suppose 0*z = -z - 5*c + 35, 0 = 4*z + 2*c - 50. Suppose 6*y - z = 4*y. Is k >= y?
False
Let c(l) = -24*l + 3. Let g be c(1). Let j be (155/35 - 0) + 9/g. Suppose b = -5*p - 1, -p + 3*p - 4 = j*b. Is -1/43 bigger than p?
False
Suppose j = -9*i + 4*i - 15, 2*j - 5*i = 15. Which is smaller: j or 3/790?
j
Let v be -2*(-2 - 7 - (16 - 21) - 55). Is 120 greater than or equal to v?
True
Let i = 7/349 + -1425/140647. Which is smaller: i or 0?
0
Let v be 0 - ((-22)/(-66) - (69/(-9) - -2)). Does -41/11 = v?
False
Let f = 5846 - 6601. Which is smaller: f or 0.3?
f
Let v = 8.85 - -0.85. Let j = 162 - 172. Let z = j + v. Which is smaller: z or 1/4?
z
Let f be 0 + 120/28 + 6/(-21). Let w = f + -2. Suppose w*g - p = -0 + 11, -3*g + 4*p + 19 = 0. Is g less than or equal to 5?
True
Let u(n) = n**3 - 2*n**2 + 3*n - 4. Let p be u(2). Let y be (-2*1/(-3))/(p/3). Does 6/91 = y?
False
Suppose 3*g + 6 = 0, g + 600 + 1038 = 4*m. Suppose -403*d + m*d = -234. Let t be (11/(-6) - -2)*4. Which is bigger: t or d?
t
Let h = 4884367/309 - 15807. Let z be ((-21392)/515 - -2)/(912/190). Let n = h - z. Which is bigger: 9 or n?
9
Let s = -204 + 203.7. Which is smaller: -41 or s?
-41
Let u be -6*(-1)/2 - -2. Let o be 36/(-90) + (-93)/u. Which is bigger: -15 or o?
-15
Let i = -685 - -730. Let p be ((-24)/10)/(351/i - 13). Which is smaller: p or 8?
p
Suppose -165*h = -159*h - 24. Suppose 0 = -12*n - 28 + h. Is n > 0.1?
False
Suppose -110 = -19*n + 118. Suppose 0*q = -q - 4*s + 6, 0 = q - 2*s + n. Which is smaller: q or -66/13?
q
Let j be 55/88 - 9/(-24). Suppose j = 15*y - 329. Is y smaller than 45/2?
True
Suppose 0 = 21*h + 447 + 983 + 1279. Is -136 at most as big as h?
True
Let w(f) = -f**3 - 10*f**2 + 5*f + 42. Let h be w(-10). Let c be (-68)/h + (-9)/6. Let v be 2 - (-4 + (2 - 0)). Which is smaller: v or c?
v
Let v be (-246)/99 + 1/(-3) + 3. Let j = -29 - -65. Let h be 1/8 + j/(-32). Is v less than h?
False
Let y be (-1332)/(-164)*(-16)/33 - (-6 - -2). Which is smaller: y or 0?
0
Let b be (1 - 4)*(-6)/9. Let h be (-2 - (-8)/b) + -34. Let u be (6 - (-2 - -30)) + (-52 - -42). Is u greater than h?
False
Suppose -3*q - 19*q = 41184 - 134244. Is q less than 4230?
False
Let m = -16065 + 64259/4. Which is smaller: m or 129.6?
m
Suppose 4 = -l, 3*s + s + 4*l + 7 + 9 = 0. Let r be (-158)/210 + (-4)/(-14). Do s and r have different values?
True
Let k(i) = 20*i**2 - i + 1131. Let q be k(30). Which is smaller: q or 19100?
19100
Suppose 0 = 7*v - 22*v - 3330. Is -2 at least as big as v?
True
Let m(c) = -93*c**2 + 1953*c + 9. Let d be m(21). Is d less than 3/10?
False
Let p = 347.4 + -347.4. Is 0 <= p?
True
Let o(n) = -n**3 + 18*n**2 + 21*n + 62. Let f be o(17). Let l = 702 - f. Are l and -7 equal?
False
Suppose 140*r + j + 91287 = 145*r, -2*r + j = -36516. Is r at least as big as 18256?
True
Let o be (-9 - (4 - 10)) + 2*(-202)/(-3). Is o greater than 133?
False
Let p be 220/(-6)*21/(-14). Let r = p + -53. Let j be (-228)/(-1575) - r/15. Is j less than 1?
True
Let m be (-1)/(195/(-96) + 2). Suppose 6*i - 146 = 172. Let w = -20 + i. Is m less than w?
True
Let u = 4482 + -4496. Let m be (8/6 - 1)/(-1). Which is greater: m or u?
m
Let u be (1 - 5) + 36331/(-94). Let y = u + 390. Which is greater: y or -2/37?
-2/37
Let t be ((-35)/14)/(-3 + (-14)/(-28)). Is 2/29939 greater than t?
False
Let w = 98854 - 689490/7. Does w 