86/19 or v?
386/19
Let f = -57 - -59. Let a be 483/9 - f/9*3. Are a and 52 nonequal?
True
Let w be ((11 - 1)/(-2))/(-5)*-4. Let o(p) = 2*p**3 + 6*p**2 - 5*p - 7. Let s be o(w). Is s greater than or equal to -136/7?
True
Let l be (-40880)/(-77) + 8/88. Is 530 at most as big as l?
True
Let n be (2/412*2)/(53/106). Let d be (3/4)/(6/(-8)). Which is bigger: d or n?
n
Suppose -5*a - 2*g + 19 = -6*g, 27 = 5*a - 2*g. Suppose -a*d = -11*d + 4. Which is smaller: d or 4/27?
4/27
Let y be 2*(-495)/30*-12. Are 393 and y non-equal?
True
Suppose 22 = 3*w - j, 79*w = 74*w - 5*j + 70. Is w <= 141/17?
False
Let b = -1354.87 + 1357. Which is smaller: 1 or b?
1
Let m(s) = -4*s - 3. Suppose 2*f + 4*f = -12. Let y be m(f). Let q(n) = -3*n + 15. Let w be q(y). Which is smaller: -2/153 or w?
-2/153
Let h be 20600/23048 - (-6)/129. Are h and 0 equal?
False
Let f = 57639/229 - 22/687. Let d = -16589/66 + f. Is d greater than or equal to 1?
False
Let r = 9540 - 9812. Which is smaller: -266 or r?
r
Let t = -97373/9 - -10807. Let a = t - -5/9. Are a and -12 equal?
False
Suppose 13*c = 14*c - 11. Suppose -10*v = 4*l - c*v + 59, 2*l + 32 = -2*v. Which is greater: l or -22?
l
Suppose -5*t = 3*g + 18, g + 64 = 58. Which is greater: t or 38/81?
38/81
Let i = 26665 - 4079764/153. Let d = i + 4/17. Let z = -4 - -3. Which is bigger: d or z?
d
Let t be -354 + -6 - -1 - (-2 - 4). Is t > 3?
False
Let d = 8 + 6. Let a = 273 - 261. Let v = d - a. Are v and -0.1 non-equal?
True
Suppose -a - 4*c + 75 = 0, -17*c + 15*c = 3*a - 225. Which is smaller: a or 72?
72
Let k be (34 - 37)/(-5 + 2). Let u = 8618 - 15003936/1741. Which is smaller: u or k?
u
Suppose 13 = 15*p - 17. Suppose 2*u = -5*m + 23, p*m + 35 = 5*u + 7*m. Suppose d = -5*j - 58, -2*d + 0*d - 60 = -u*j. Is d > -37?
False
Suppose 0 = 3*z + 37*c - 38*c - 44, 2*c = 2. Let d = 79 - 112. Let r = d - -46. Which is smaller: z or r?
r
Let o = -0.49633 + 518.40033. Let h = o - 518. Which is greater: h or -1?
h
Suppose b - 3*l - 26 = -0*l, -2*l + 51 = b. Suppose 4*p + 5*c - b = -9, 0 = -3*p + 3*c - 3. Let z = -4536/5 + 910. Which is smaller: z or p?
z
Let v = -10 - 0. Let c be ((-15)/v)/((-5)/(-10)). Suppose c*f - 72 = -15. Is 21 at least as big as f?
True
Let j be (-2 - 274/4)*24/18. Let x be (-10)/(-12)*3*j. Do -235 and x have different values?
False
Let w = -4647.3 + 4643. Which is smaller: -2/171 or w?
w
Let o = -184224/5 - -36844. Suppose 0 = 3*v + 4 - 1. Is o greater than v?
True
Let q be 1662/(-186) - 30/465. Let p be 1/4 - 1/4. Suppose p = -6*b + b - 35. Which is bigger: b or q?
b
Let p be ((-10)/4)/((-142)/(-8) - 19). Which is bigger: p or 9/14?
p
Let g(c) = 2*c**2 - 3*c - 7. Let w(h) = -h**2 + h + 1. Let z(l) = -g(l) - 4*w(l). Let s be z(-3). Let d be -90 + 107 + (-1 - -8). Is s at least as big as d?
True
Suppose 83 = 5*k + 78. Let g be (4 - -2) + k - 8. Which is greater: 3/112 or g?
3/112
Let n = -49 + 44. Let i(a) = 2*a - 21. Let c be i(n). Let g be c/(-2)*(-4)/6. Is -11 less than or equal to g?
True
Let a = -1383.1 + 1283. Let g = a - -101. Let n = 0.1 + g. Which is smaller: n or 8?
n
Let k(l) = 2*l + 47. Let v be k(-26). Let f be 6/v - (-4589)/4095. Which is smaller: 1 or f?
f
Let g(u) = u**2 - 10*u - 44. Let l be g(13). Let o be (3 - (-16 - l))*-2. Which is bigger: -27 or o?
-27
Suppose -7*u + 24 = -11. Let k = -51 + 51.84. Let x = k - -0.16. Is x <= u?
True
Let o = 14/5 + -51/20. Let i = 212.903 - 213. Let l = i - -0.127. Which is smaller: o or l?
l
Let h(u) = -2*u - 12. Suppose -5*d = -0*d - 35. Let z(t) = 5*t + 25. Let o(f) = d*h(f) + 3*z(f). Let m be o(8). Which is greater: m or 3/16?
3/16
Let k(i) = 15 - 63*i + 113*i - 13*i + 21. Let n be k(-1). Which is smaller: n or -1/123?
n
Suppose -4*q + v + 430 = -6*q, 5*q + 1069 = -4*v. Let m = q + 46. Is m bigger than -170?
False
Suppose 2*d - 10 = 5*p, 5*p - 196 + 201 = d. Which is smaller: -124/121 or p?
-124/121
Let t = -38.1 - -38.87. Let v = 0.026 - -0.204. Let o = v + t. Which is smaller: 35 or o?
o
Let g = -4109 + 4107. Which is smaller: g or -107/172?
g
Suppose 0 = 37*p - 38*p + 5. Let g be (p - (7 + -11)) + 10. Suppose 5*y + 17 = 122. Is g >= y?
False
Let w be 0 + 1*(-833)/10. Let b = 146/15 + 2273/30. Let s = b + w. Which is bigger: s or 3?
3
Let j = 393 + 213. Let z = -614 + j. Which is bigger: z or -17?
z
Suppose 29*q - 877 = 196. Suppose q*h - 19365 = 8163. Is 743 greater than h?
False
Let y = -7594 - -1617518/213. Let r(d) = 4*d**3 - 8*d**2 + 1717*d - 3433. Let b be r(2). Is b less than y?
False
Let u = -17 + -6. Let y = u - -12. Suppose -5*a - 1 + 11 = 5*l, 0 = 3*l + a. Is l < y?
False
Suppose i - 5*c - 376 = 68, 3*c - 836 = -2*i. Is 430 bigger than i?
True
Let a be (-33 + 43 + 96/(-10))*35. Suppose 0 = r + 2*k - 4 - 23, -3*r + 3*k = -54. Which is greater: r or a?
r
Let d(v) = -v**2 - 8*v + 7. Let j be d(-4). Suppose j*o - 20 = 28*o. Which is greater: -3 or o?
-3
Let b = 9 - 15. Let p be (9/b)/((-57)/4). Suppose 0 = 34*j + 14469 - 14435. Is p smaller than j?
False
Let d be (-5*(-6562)/(-51))/(14/(-6)). Is 276 bigger than d?
True
Suppose -18275 = 18*r - 8*r + 31585. Do -4986 and r have the same value?
True
Suppose 5*w + 2*h = h + 5, -5*w + 5 = -5*h. Let a be 5 - 1 - (-3 - -1). Let z be (170/a)/w - 2/6. Which is bigger: 29 or z?
29
Let c = -142.693 + 145.22. Is -4 less than c?
True
Let p = 107 - 107. Suppose p = -2*q - o + 15408, -q + o = 4*o - 7704. Let u be q/(-624) - 2/13. Is u bigger than -13?
True
Suppose 0 = -3*t - 17*h + 13*h + 4695, -4*h + 6252 = 4*t. Is t not equal to 1556?
True
Let u(f) = -f**3 - 31*f**2 - 33*f + 71. Let n be u(-30). Suppose 12 = -n*c + 163*c. Do c and 21 have different values?
True
Suppose 15924 = 2*b + 5*i, 0 = -579*i + 576*i + 18. Which is smaller: 7948 or b?
b
Let s be ((-417)/(-132))/(6*(-5)/240). Is s > -24?
False
Let t = -8.5 + 82.5. Suppose -24*d + 26*d - 4*n = 4, 0 = -2*d + 3*n + 3. Which is smaller: t or d?
d
Let t be 60/(-54) - 10020/(-270). Which is smaller: 588/17 or t?
588/17
Let n = 972230/131 + -7422. Which is greater: 1 or n?
1
Suppose 0 = 163*g - 158*g - 14240. Is 2848 not equal to g?
False
Let d(c) = -8*c**2 - 57 - 31*c - c**3 - 30*c**2 + 53*c + 61*c + 7. Let u be d(-40). Which is bigger: u or -171?
u
Let x = 408.0106 - 0.0106. Let j = -178 + x. Which is greater: j or 2?
j
Let c = 22138461102/5417405 + -97/154783. Let n = -4087 + c. Is n at most -1?
False
Suppose 0 = -v + 1, -3*p + v = -3*v - 11. Suppose p*t - 2*n + 16 = 6*t, -4*t + n + 46 = 0. Suppose w - 5*c + 9 = 2*w, w - 9 = 4*c. Are t and w nonequal?
True
Let q be (-270543)/39 - (2 + -5 - 1) - 7. Does q = -6941?
False
Suppose 11 = 11*z - 22. Suppose 0 = h - 23*t + 24*t - 12, 2*t = z*h - 41. Is 12 != h?
True
Let f be (-14)/10 + (-8)/(-20). Let k be ((-1)/(-2))/((-123)/21238). Let a = -3371/39 - k. Which is smaller: f or a?
f
Let n = -307/18240 - -1/960. Is 1 != n?
True
Let g(l) = l**2 + 12*l - 313. Let r be g(13). Suppose 343 + 611 = 5*n - 4*d, r = 3*d. Is n greater than 584/3?
False
Let b be -4 - (0 + (2 - 1)) - -4. Is b smaller than -15/64?
True
Let w be (-3 - (-3)/6)*(-62800)/(-1000). Which is smaller: 3.1 or w?
w
Let z be (4 - (-65)/4)/(2946/(-16)). Which is smaller: z or 1?
z
Let y(j) = j**3 - 7*j**2 - 8*j + 4. Let v be y(8). Let t be (-10)/190*v/(-10). Let u = 75 + -74. Is t at most as big as u?
True
Let k = 2.3366 - 2.1366. Is 2.15 less than or equal to k?
False
Let q(w) = -w**3 + 19*w**2 + 3*w - 130. Let k be q(20). Let m = -430 - k. Are m and 40 unequal?
False
Let l = 4220704789358/1773 + -2380544241. Let g = -761/9 - l. Is g at most -1?
False
Let f = 209/1066 + -35/82. Let j = -0.29 - -0.15. Let h = -0.14 - j. Which is greater: f or h?
h
Let w be (18/5)/((-416)/1040). Suppose -21 = -a + 5*k - 1, -5*a - 5*k = 20. Let s be -3 + 1 + (a - -1). Does w = s?
False
Let l = -6466.2 - -6466. Does -2486 = l?
False
Let q = 128/91 + -22/13. Suppose -75*p = -81*p + 636. Let w = p + -105. Which is smaller: w or q?
q
Let u = 125 - 263. Let t = -125 - u. Let p = 1.9 + -1.9. Which is smaller: t or p?
p
Let b = 27019 - 27017.0667. Let q = 0.0667 + b. Is q >= 2?
True
Suppose -30 + 25 = 3*y - 2*m, -2*y - 3*m = -1. Let f be 1*(-3602)/(-24) - 3. Let l = f + -147. Is y >= l?
False
Suppose -201*s + 202*s + 2*f = -1402, 0 = 3*s + 3*f + 4200. Is s >= -1400?
True
Suppose -33*r 