 j = -7 - -16. Let r be j/12 - (-3978)/(-24). Let u be (5/(-7) - -1) + r/700. Which is smaller: u or 1?
u
Suppose 2*r + 361 + 185 = 0. Let v be -5 + 0 + (-1309)/r. Is v greater than 1?
False
Suppose 112 = -11*l - 5*l. Let h(x) = x**3 + 8*x**2 + 4*x - 20. Let s be h(l). Let o = 64353/61 + -1055. Which is bigger: s or o?
s
Let d be ((-240)/220 + 1668/(-44))*(-1378)/6. Is d smaller than 8956?
False
Let g be ((-5)/(-15))/(225/270). Is -474/17 less than or equal to g?
True
Suppose 2*v + 5*y + 2 = -0*y, 3 = -3*v - 5*y. Let q be (-45)/((-3)/1)*v. Let x be (-79)/(-123) + 5/(q/2). Are 0 and x non-equal?
True
Suppose -3*z + 2*i = -1254 - 2743, 5*i = -2*z + 2671. Which is smaller: z or 1332?
1332
Let d = -44/3917 - -348962/1077175. Is d greater than -1?
True
Suppose 37 = -3319*v + 3356*v. Which is smaller: v or -9/1033?
-9/1033
Let c be 2644/(-1518) - (-4)/6. Let f = c - 4/253. Suppose 2*v = -4*a - 10, -2*a - v = -5*v. Which is smaller: a or f?
a
Let n = 36 - 23. Let x(v) = v - 11. Let o be x(n). Let m be 8/o - (-10 - -11). Is m > -2?
True
Let w = -40 - -115. Suppose 0 = 5*r + 455 - w. Let j = 815/11 + r. Which is bigger: -3 or j?
j
Let i = -502.98 + -28.67. Let j = -534 - i. Is 0.2 at least j?
True
Suppose 5*h - 87 = 2*f, 0*h + 18 = 2*h - 5*f. Let w be (h/57)/(1/(-543)). Let z = w - -9953/55. Is 0 not equal to z?
True
Suppose 52*o + 583884 = 28*o - 228*o. Which is smaller: 2 or o?
o
Let p be -545*(-2 + 0 + 1 + (-2163)/(-1957)). Which is greater: -57 or p?
-57
Let r = -21684 + 21707. Let x = 0 - 0. Which is smaller: r or x?
x
Suppose -2*d - 4*m = -2978, 2*d - 5*m = 1063 + 1933. Does 1490 = d?
False
Let j = 6.058 + -0.058. Let n = 1411/44 + -129/4. Which is smaller: j or n?
n
Let a be 18/48 - (14165/47750)/((-76)/(-95)). Is 6 greater than or equal to a?
True
Let q(r) = r**2 - 5*r - 32. Let v be q(-4). Let d be (v/(-4))/3 - (-24)/(-54). Which is smaller: -2 or d?
-2
Let y(x) = 3*x + 17. Let d(o) = 5*o + 31. Let h(k) = -2*d(k) + 5*y(k). Let m be h(-3). Do m and 1 have the same value?
False
Suppose 4*b = -r - 6, 2*b = -52*r + 50*r - 30. Which is smaller: r or -705/41?
r
Let y(h) = h**3 - 5*h**2 + 16*h - 7. Let v(a) = 2*a**3 - 9*a**2 + 32*a - 13. Let s(i) = -3*v(i) + 7*y(i). Let p be s(6). Is p greater than or equal to 2?
True
Let k = 241 - -59. Let j be ((-644)/98)/(26/(-1183)). Which is smaller: k or j?
j
Let q = -3403/12 - -284. Let z(c) = -c**3 + 4*c**2 + 24*c - 17. Let u be z(7). Suppose 0 = 3*b - u*b - 5, 2*b = k - 9. Is q equal to k?
False
Let p = -544 + 545. Let i be 7 + (-10)/p + 4. Which is bigger: i or 18?
18
Let v = -3665 + 3659. Suppose -u + 5*p - 7 = -2*u, 0 = -4*p + 4. Suppose 0*a = -u*a - 10. Is v <= a?
True
Let s = 291 + -152. Suppose -7*o - 2*m - s = -2*o, -2*o - 52 = 2*m. Is o > -31?
True
Suppose -h = -5*i - 7, -5*h = -h + 2*i - 6. Let j(t) = 26*t + 220. Let v be j(-10). Let y be 33/h*(-1 + v/(-45)). Is y <= -2?
False
Let y = 3375/8 + -421. Let g(c) = c**3 - 39*c**2 - 950*c + 34. Let u be g(-17). Which is smaller: u or y?
u
Let f = 11118.858 - 11119. Which is greater: 3 or f?
3
Let y = 61 + -98. Let k(g) = -7*g**2 - 24*g + 39. Let b be k(2). Is b >= y?
True
Suppose -32 = 2*s + 40. Let n(v) = -130*v + 775. Let u be n(6). Let r be u*(-2 + s/(-20)). Is r smaller than -1/18?
False
Let i be 116/2*(-3 - -6 - 4). Let t be 6/10 + -2 + i/(-145). Is t at most as big as -2.78?
False
Let a(j) = j**2 - 18*j + 51. Let u = 8 - -8. Let q be a(u). Is 2/5 at least as big as q?
False
Suppose 439*q + 18 = 430*q. Which is smaller: -156 or q?
-156
Let v = 1619 + -1654.16. Let i = 34 + v. Let f = i + 0.16. Which is greater: -30 or f?
f
Let d be (3 - (1 + -1)) + 3 + -2. Suppose 0 = 2*m + 4, d*t - 3*m = -7*m + 4. Which is greater: t or 1?
t
Let j = -5141/12 - -1711/4. Which is smaller: -266 or j?
-266
Let x = 2889079/154 + -18760. Does x = 1?
False
Let b be 1 - 4 - -4 - 0. Let j = -431354275 + 97917628132/227. Let l = j - 915. Which is smaller: b or l?
l
Let y = -171.3 + 161. Let f = 0.9284 - -0.0716. Is f equal to y?
False
Let y(f) = -2*f**3 + 282*f**2 - 21*f + 2960. Let k be y(141). Is -86/37 > k?
False
Let k = 11167/14900 - -2/3725. Let n = 17/7 - 704/287. Is k smaller than n?
False
Suppose -2*b - 329 + 317 = 0. Let p be (9 + b)*(6 - 4 - -23). Suppose -3*o = -d - 230, 0 = -2*o - o - 3*d + 222. Is p not equal to o?
True
Let m = 747.17 + -769.2. Which is greater: m or 3/5?
3/5
Let h = -30 + 50. Let r = h + -22. Let c = 2.1 + r. Is c < 3?
True
Let y(o) = 1 - 2*o**2 + 2*o + 2*o**2 + 3*o**2 - 2*o**2. Let p be y(-2). Suppose -51 = 11*u - 8*u. Is p at least u?
True
Suppose -79*h + 11106 = -14332. Suppose 69*z = 75*z - 1944. Is z <= h?
False
Let s = -115 - -117. Let c be s - (-10)/(-2)*(-120)/(-318). Which is smaller: -1 or c?
-1
Let s = 206 + -206. Let d be 284/14 + 4/(-14). Suppose s = -18*h + d*h. Which is greater: -1/5 or h?
h
Let s = 422 + -329. Let v be (-62)/s - 8/(-30). Let c = 0.3 + -0.1. Is c greater than v?
True
Suppose 4*g - 16 = -5*q, -4*q - 7 = -g - 3. Suppose q = 5*a - 19 - 421. Is 89 bigger than a?
True
Let v be (84/1)/((-4)/((-48)/(-18))). Let y be -3*(-30)/9*2/v. Is 1 at most as big as y?
False
Suppose -w = 3*w - 13*w + 13608. Which is smaller: w or 1509?
1509
Suppose 3*r = -5*j + 6*r - 884, 4*j + 4*r = -688. Let p = -86 - j. Let t = -448/5 + p. Are -0.7 and t nonequal?
True
Let r be 5487/(-8)*2*4/72*6. Are -457 and r equal?
False
Let h = 50270 - 96065972/1911. Suppose 222*o - 182 = -182. Is h at least o?
False
Let k be (1/(-4) - (-355)/20)*26. Is k greater than 1/4?
True
Suppose -5*y + 50 = 5*p, -2*y - 5 = -p - 1. Suppose 53*a = 55*a - 5*i + 4, -2*i + 4 = 0. Suppose g - 3*k = 20, a*k = -5*g + 4*k + 30. Is p > g?
True
Let s(h) = 53*h - 50. Let a be s(1). Suppose -a*u - 2 = -2. Which is bigger: -27/41 or u?
u
Let h be (-20)/6*(-6 - 72/(-10)). Let p be 1/h - 825/(-20). Is p less than 43?
True
Suppose -2*u - r - 422 = 0, -5*u - 1058 = 75*r - 71*r. Which is bigger: u or -1901/9?
u
Let c be (-766)/10 + 6/(-15). Let u be (681/2724)/(1/(-308)). Is c <= u?
True
Let a(w) = 40*w + 321. Let f be a(4). Are f and 481 nonequal?
False
Let s be ((-700)/(-5))/(-1 - (-10)/6). Suppose -6 = -v + s. Which is smaller: 217 or v?
v
Let y = -1 - -1. Let v be (32/1192)/(2 - 0). Which is bigger: y or v?
v
Let q be -30*(0 + -6 + 17 + 2655/25). Which is bigger: q or -3517?
q
Let u = -0.03 - -0.33. Let i be ((-99)/1386)/((-2)/42). Which is bigger: u or i?
i
Suppose -60*c - 28 = -28. Which is bigger: c or -18/361?
c
Suppose -2 = -2*x + 8. Suppose f - s = 0, 0 = -3*f - s + x*s. Let m(r) = r**3 - r**2 + 2*r - 42. Let v be m(f). Does v = -43?
False
Let i be (-314)/(-2) - 26/(-13). Suppose -z = 2*n - 53, 11*z - 8*z + 2*n - i = 0. Is 53 not equal to z?
False
Suppose 34*m = -9*m - 430. Let s be (2 + 1)/((-55)/(-22) + m). Which is greater: s or 54?
54
Let u(z) = 8*z + 5014. Let x be u(-13). Is 4906 smaller than x?
True
Suppose 6 = 3*n - 3*d, -5*n + 3*d = -0*n - 20. Suppose 0 = n*l + 3*l + 400. Is l greater than -41?
True
Suppose 32 + 120 = 4*v. Let p be v/(-6) - (-2)/(-3). Let w = 4 + p. Is w at most -3?
True
Let o = 24697 - 30981. Are 0 and o nonequal?
True
Let w(a) = -a**3 + a**2 + 2*a + 2. Let d be w(-2). Suppose -6 = -4*t - d. Let n = t - -25. Which is bigger: n or 25?
25
Let j(n) = 1410*n**2 + n. Let f be j(1). Suppose -1379 = -5*w - 2*k, 4*k + f = 4*w + 319. Is 275 not equal to w?
False
Suppose 11*h + 1 = 1. Suppose 2*r - 38 = 2*k - 3*k, 2*r + 2*k - 42 = 0. Suppose -13*o + r*o = h. Which is bigger: o or -4?
o
Let k(w) = 8*w + 48. Let s be k(-6). Let p be s + (15 + -10)/(1/(-7)). Which is smaller: p or -47?
-47
Suppose -4*s - 5*r + 100 = -9*r, -77 = -3*s + r. Suppose -s*y + 219 = -795. Is 2 greater than or equal to y?
False
Let d = -65.66 - -70.66. Which is smaller: 0.0051 or d?
0.0051
Suppose 2243*z = 2233*z - 5610. Is z greater than or equal to -3/4?
False
Suppose -z - 4 = 25*a - 28*a, -4*z + 5*a - 30 = 0. Let h be z/(-2) + (-425)/(-180)*-2. Which is smaller: 0 or h?
0
Let q = 876.4 + -874.88. Which is smaller: q or 0.3?
0.3
Suppose 2*i + 23 - 16 = -3*v, 4*v + 5*i = -14. Is v not equal to 2.78?
True
Let u(b) = 18*b**2 - 292*b + 52. Let s be u(15). Is s less than -4186/15?
False
Let t = -30 + 10. Suppose -4*j + 133 = -3*w, -4*w + 2*w - 90 = -3*j. Let d = w + 19. Is t > d?
False
