aller: 2 or q?
q
Let w = 3606781/108537 - 1/8349. Is w != 32?
True
Let y = 13491 + -13124. Which is bigger: 370 or y?
370
Let p(b) = 48 + 3*b - 2*b + 4*b + 0*b. Let r be p(-9). Suppose a - 3 = -2, 0 = u + r*a - 4. Is 4/37 less than u?
True
Let u = 52311/1964533 + -24/859. Is u less than or equal to -1?
False
Let u = 8674 - 43117/5. Let o = u + -51. Let a = 75.63 - 75.6. Are o and a non-equal?
True
Let k = 0.42 + -35.77. Let p = 0.35 + k. Let g = 0 - -0.1. Is p != g?
True
Suppose -5*y - 29 = 4*p, 59*p + 4*y = 58*p - 21. Is p smaller than 4/2027?
True
Let q = -7754 - -54490/7. Let n = q + -13109/434. Is n less than or equal to -1?
False
Suppose 72 = -9*r + 3*r. Let i be (-10)/15 - 8/r. Let s be (i - 1) + 81/63. Is -15 equal to s?
False
Let c be 2 - (1*12 + 2). Let r = 854 + -845. Let g be (0 - c/r)/(1*-3). Is 0 bigger than g?
True
Let f = -289.0409 - -0.0409. Let l = -287 - f. Is l greater than or equal to 2/3?
True
Suppose -15*m + 136 = -224. Suppose -1320 = -27*g - m. Let f = 92 - 45. Which is smaller: f or g?
f
Let b be (-38)/30*(-21669)/(-15283). Let c = b - 2/493. Let a = 8 + -11. Which is smaller: a or c?
a
Let p = -192 - -266. Suppose -4*h + 10 = -p. Are 22 and h nonequal?
True
Let t = -22 + -20. Let r = t - -45.9. Let i = r - 0.9. Is i at least as big as 2?
True
Let c(p) = -p**2 + 5194*p + 15567. Let z be c(-3). Let x(u) = 2*u. Let v be x(-2). Let f be (4/6)/(v/6). Are z and f equal?
False
Let a = 322.7 + -786.7. Which is bigger: a or -0.3?
-0.3
Suppose l = -0*l + 4. Let q(a) = -6*a + 0*a + a - 1 + l. Let m be q(-2). Is m >= 12?
True
Let f = -1.3697 + -65.6303. Which is bigger: 120 or f?
120
Suppose -k + 18 = 5*k. Let m be (-580)/(-35) + 4/(-7). Let a be (m/(-3))/((-42)/18). Which is greater: a or k?
k
Let q = -11668 + 21812. Suppose -q = 37*m + 4878. Which is greater: m or -407?
m
Suppose 0 = -62*c + 5056 + 20116. Which is smaller: c or 395?
395
Let u = -2.53 + -174.47. Let z = 176 + u. Which is smaller: z or 25?
z
Suppose 17*p - 3*p = -10*p + 24. Is 9/2818 greater than p?
False
Suppose -288*z + 289*z - 3*y - 16 = 0, 4*z = 2*y - 16. Is z less than 89/3?
True
Let w = -204 - -210. Let o(j) = -7*j - 53. Let s be o(w). Which is greater: -1 or s?
-1
Suppose 0 = o - 1 + 3, 2*p - 5*o - 22 = 0. Let g = -42 + 38. Let d be (-3)/(2*-6)*g/p. Is -0.1 >= d?
True
Suppose 2*g - 2*b - 36 = -5*b, -4*g - b = -72. Suppose -5*x = -15, -v - 4*x + g = 2*v. Let w be (-4*1/(-2))/(-1). Is v less than w?
False
Let r = 0.475 + -0.025. Let g = r - 16.45. Do g and -16 have different values?
False
Let j(i) = i + 9. Let k be j(-4). Suppose 1 = -v, 7*n - 6*n + k*v = -61. Let p be 1/((-1)/29)*(-112)/n. Are -57 and p equal?
False
Let g = 782 - 781. Let r = -120 + 207. Which is smaller: g or r?
g
Let z(l) be the third derivative of -3*l**4/8 + l**3 - 7*l**2. Let q be z(-4). Suppose 9*c = 6 - q. Does c = -9?
False
Let o be 38/(-76)*(-6 - 1408). Which is bigger: o or 716?
716
Let a = 2.9 - -19.1. Let l = -39 + 67. Let j = l + -25. Is a > j?
True
Let d = -53315/14 - -3808. Is d not equal to -7?
True
Let v = -7214 - -7214.128. Is v bigger than -1.7?
True
Suppose 4*g - 3*p + 2925 = 0, 1631 = -4*g + 4*p - 1293. Which is bigger: g or -730?
-730
Let f = -503 - 612. Let o = f + 21089/19. Is -6 <= o?
True
Let i = -11779 + 12979. Which is bigger: 3 or i?
i
Let f = 31708 + -31079. Which is greater: f or -7?
f
Let m(d) = 8*d - 25. Let g be m(-7). Let u = g + 72. Which is smaller: u or -15/2?
u
Let f = 38 + -70. Let q = -7307 - -7308. Which is greater: f or q?
q
Suppose -8*o - 362 = -210. Let n(j) = j**2 + 16*j - 60. Let u be n(o). Is u greater than or equal to -1?
False
Let u be 3*(460/15 - 3). Let d = u - 82. Suppose -d = -4*a + 7. Which is smaller: a or 19?
a
Let d be 65*1/25 + 4/10. Suppose d*m - 2*m = 3. Suppose -4*h + m*r - 8 = 0, -5*h - 60 + 23 = 3*r. Is -15 not equal to h?
True
Let w = -14670 - -8555. Is -6114 smaller than w?
False
Let s(y) = y**2 - 11*y + 23. Let v be s(9). Suppose 27*j - 15*j = v*j. Does -19/32 = j?
False
Let u = -1027715/76589 - 10/4031. Which is bigger: -13 or u?
-13
Suppose -3*s + 33 - 36 = 0. Let t = -1993 - -1823. Which is smaller: t or s?
t
Let q = -1205 + 1204. Are 16/3337 and q equal?
False
Let s = 2654 - 2654.009. Let f = 466 - 466.209. Let z = s - f. Which is smaller: z or -0.07?
-0.07
Let f be -1*2*(12810/(-805) + (-4)/46). Is -0.1 <= f?
True
Let d be 2/(-8)*-18*(4 - 6). Let i be ((-2)/(-5))/(d/(-225)). Is 11 > i?
True
Let p = -0.05076 - -3.85076. Let z = 0 + -0.2. Let m = p - z. Which is bigger: 1 or m?
m
Let k(i) = i**3 - i**2 + i + 4. Let o be k(0). Suppose o*u = 6*u - 2. Let a = u + -1. Which is bigger: a or -3/5?
a
Let x = 13 - 8. Suppose -7*q - 93 + 121 = 0. Let s be x/(-10) - (-14)/q. Which is greater: 0 or s?
s
Let x be 15/(-12)*(-9514)/9 + -3. Let v = x + -1318. Which is smaller: v or 0?
0
Let y = 6200993/244 + -25414. Are y and -1 nonequal?
True
Let r = -565 - -575. Suppose -10*p = r*p. Is 1/139 greater than p?
True
Suppose 4*j - 2*z + 254 = 1376, -5*j + 1405 = -3*z. Let p = -279 + j. Which is greater: -2 or p?
p
Suppose -1082*p - 3604 = -243*p + 4786. Let q = 5 + -7. Let r = -3 - q. Which is smaller: p or r?
p
Let d = -36.259 - -36.259. Is d <= 0.3032?
True
Let f = -365.99 + 366.33. Which is greater: f or 391?
391
Suppose -5*o + r - 8 - 80 = 0, -5*o + 8*r - 109 = 0. Is -11 greater than or equal to o?
True
Suppose 4*f = 4*c - 324, -7*c + 4 = -6*c. Let j be 0*(f/(-14) + -5). Let g be (-2 - -1) + (-20)/(-18). Which is greater: g or j?
g
Suppose -8*f - 532 = 20*f. Let a(y) be the third derivative of y**5/60 + 5*y**4/8 + 8*y**3/3 + 6*y**2. Let c be a(-12). Which is smaller: f or c?
c
Let g = 110 + -6599/60. Let s = g - -23/60. Let c be -25*((-594)/315 + 2). Which is smaller: s or c?
c
Suppose -155*s - 1695 = 410*s. Suppose 2*i = -3*i - 45. Which is bigger: i or s?
s
Let w = 156 + -153.79. Let q = w + -1.72. Are q and 2 non-equal?
True
Suppose a - 77 = 4*d, 85*a - 87*a - 14 = 0. Let q(g) = 2*g + 1. Let o(h) = h**2 + 2*h + 1. Let n(s) = -2*o(s) + 3*q(s). Let x be n(-3). Is d > x?
True
Suppose -16 = j - 4*z, 0 = -z - 1 - 3. Let u = -29 - j. Let w be u/4 - 2/4. Is 0 greater than or equal to w?
False
Let y(w) = -20*w**2 + 73*w + 32. Let t be y(4). Which is greater: -347 or t?
t
Let f = -172 + 188. Suppose 4*m = 5*g + f, -g = -4*g + 5*m - 20. Which is smaller: g or -2/33?
-2/33
Let u = -4.35 + 4.15. Is u bigger than -42.5?
True
Let m = 619 - 803. Let y = m + 172. Let n = -0.1 - -0.1. Which is smaller: y or n?
y
Suppose 43*j - 326 = -1659. Suppose 11 = -3*s + 5, -3*b - 2*s = 94. Which is greater: b or j?
b
Let u = -3/35 - 1542/385. Is u smaller than 0.2?
True
Let d(g) = 18*g**2 - 338*g + 36. Let s be d(-13). Is s not equal to 7472?
False
Let a = 26.2 - 569.2. Let g = -542 - a. Which is smaller: g or -237?
-237
Let x(t) = t**2 + 24*t - 43. Let q be x(-26). Let m be 28/112 - q/(-2). Is m at least 6?
False
Let a = -503 + 507. Let z be 4 + (a - (-99)/(-21) - 3). Which is bigger: -203 or z?
z
Let r = 391.8612 + 0.1388. Which is smaller: -1/7 or r?
-1/7
Let m = -2090 + 2092. Is m greater than or equal to 71?
False
Suppose -7*m = 7 - 35. Suppose 0 = -4*j - 5*n + 161, -159 = -m*j + n - 4. Let x = -1130/29 + j. Which is bigger: x or -1?
x
Let m = 3951 + -11851/3. Is m greater than -453?
True
Suppose -92 = -5*n - 52. Let r be n/(-44) - (-26)/264. Does -0.01 = r?
False
Let y = -23213/2508 + 239/33. Is -1 equal to y?
False
Let k(d) = -43*d**3 - 13*d**2 + 27*d + 5. Let c be k(2). Which is smaller: -323 or c?
c
Let q(s) = -1006*s**2 + 280*s + 566. Let r be q(-2). Which is smaller: -4017 or r?
r
Let r be (-1548)/8*1/(546/44). Let h be (-2)/5 + (-902)/70. Let y = h - r. Which is bigger: 1 or y?
y
Suppose -5*n - 91 = -3*m, -9*n - 131 = -5*m - 11*n. Let w(h) = -5*h + 180. Let s be w(m). Is 316/7 less than s?
False
Let l be (1332/10)/((-29)/(-145)). Let f = l - 636. Which is greater: f or 216/7?
216/7
Let g(f) = -91*f**2 - 391*f - 152. Let h be g(-14). Is -12515 bigger than h?
False
Let s = 5432.69 - 5458. Which is greater: s or -0.1?
-0.1
Let a be ((-66)/24 + 3)/((-2)/8). Let s be 5 + a - (-297)/(-69). Is s less than or equal to 1?
True
Let q(o) = 3*o**3 + 28*o**2 + 63*o - 64. Let c be q(-8). Is c > 1?
False
Suppose 349 = 4*k + 357. Let t be 51 - (3 + k - 2). Wh