aller: j or n?
n
Let a(y) = -36*y + 17*y + 4 + 18*y. Let h be a(3). Which is greater: 2/19 or h?
h
Let u(v) = -v - 5. Let i be u(-5). Suppose 5*f = -i*f + 40. Suppose -4*m = -f*m + 4. Which is smaller: 0 or m?
0
Suppose 2*v = 2*t - 22, -5*t + v + v + 40 = 0. Let o be (-27)/6*(-46)/t. Which is smaller: o or 36?
o
Let y be (-2)/(-3) + (-2)/3. Let z = -168 + 161.1. Let c = -7.06 - z. Do y and c have the same value?
False
Suppose 0 = -31*a + 38*a + 14. Which is smaller: -64 or a?
-64
Let p = -13 + 20. Let m be ((-6)/8)/(((-27)/2)/(-9)). Which is smaller: m or p?
m
Let l be ((-180)/240)/(11/3). Which is smaller: l or 0?
l
Let t(c) = 2*c**2 - c - 28. Let w be t(-4). Which is smaller: 7 or w?
7
Let p = -152.02 - -152. Is p <= -34?
False
Suppose 2*t = -5*s + 61, 57 = 4*t + 2*s - 25. Let w be ((-1)/((-3)/34))/(126/189). Is w != t?
True
Let g = -1.3 - -0.3. Let x be (-2 - -2) + (-2 + 56)/3. Let h be 4/x + 4/(-6). Is h bigger than g?
True
Suppose 0*k + 34 = 2*k - 2*z, 2*k - 40 = -z. Let y(w) = w**2 - 19*w - 5. Let c be y(k). Let p be 4/140*c/2. Do 2/5 and p have the same value?
False
Let k be -7 - 477/(-63) - 4386/7455. Is 0 greater than k?
True
Let g = -8 + 8.09. Let f = 7.09 - g. Let i = 6 - f. Which is smaller: i or -1/2?
i
Let a = 17/1025 + -18681/1151075. Which is greater: 0 or a?
a
Suppose 4*m = 10 + 10. Suppose -m = -8*a + 13*a. Is a greater than 1/104?
False
Let d(r) = -52*r - 209. Let w be d(-3). Is -53 greater than or equal to w?
True
Let b(q) = 2*q**2 - 9*q + 2. Let v be b(6). Let l = 26 + -52. Let j = v + l. Is j at most -7?
False
Let o = 20 + -1. Let s = -21 + o. Let b be (-1)/(s - (2 + -3)). Which is bigger: 1/12 or b?
b
Suppose 0*i + 24 = 3*i + 3*p, i = 3*p + 4. Let q be (8/7)/(2/(-6) + 494/798). Is q >= i?
False
Let l(j) = j - 9. Let h be l(5). Let p be (-1 - h) + -3 - 54. Let c be 8/(-14)*63/p. Is 4/7 greater than or equal to c?
False
Let q = -296 + 101. Let h = q + 193. Let u be 0 + 1 - 8/2. Which is smaller: h or u?
u
Let u(h) = 3*h**3 + 2*h**2 + 2*h - 2. Let y be u(4). Let v be (-24)/40 - (-148)/y. Which is smaller: v or -1?
-1
Let n = -53 + 56. Suppose 4*w - n = 1. Let o be (-1 - -3) + 192/(-94). Which is greater: o or w?
w
Let y = -9 + -35. Let b be (4 + y/12)*111. Which is greater: b or 115/3?
115/3
Let o = -491.1 + 491. Which is bigger: o or 21/13?
21/13
Let u be (0 + -1)/5 - 17292/(-60). Suppose 0 = -16*z + 4*z - u. Which is smaller: z or -23?
z
Suppose 4*b + 46 = 3*m - 93, 0 = -4*m + 5*b + 185. Suppose 0 = 4*g - 0*o - 3*o - 59, -m = -5*g - 2*o. Let a be 1 + 1 + (-12)/g. Which is bigger: a or 0?
a
Let v = -3/182 - -379/910. Is v > -30?
True
Suppose 12 = 2*b + 2*b. Suppose -x - w - 41 = -2*x, 0 = b*x - 5*w - 133. Suppose 0 = 2*k + y - 44, -k + 3*k - x = -3*y. Is k less than 24?
False
Let t = -4944 + 54314/11. Is t at most -5?
True
Suppose 22 = -3*g + 1. Let f = 299/43 + g. Are 1 and f equal?
False
Let y = 14 - 8. Let d be (-5)/y + 0 + 1. Let r be ((-8)/16)/(3/(-6)). Which is bigger: d or r?
r
Let j be (-194)/(-18)*(-12 + 24). Is j smaller than 128?
False
Suppose -a + 1051 = -4*h, 3*a - 3153 = h + 4*h. Is 1053 >= a?
True
Let p = 90 + -1171/13. Suppose 0 = -0*f + 6*f - 30. Suppose f*c + 4 = -7*x + 3*x, -3*x = -4*c + 3. Which is bigger: p or x?
p
Let g(x) = 36*x**3 - 2*x**2 - 3*x - 2. Let b be g(-1). Let o = b + 35. Is -5/9 not equal to o?
True
Let s be (1 + 2)*(-6)/1557. Let q = 245/6228 + s. Which is smaller: q or 0?
0
Let n(g) = 25*g**2 + 5*g + 6. Let q be (-464)/64 + (-2)/(-8). Let v be n(q). Let l = v + -123190/103. Which is bigger: -1 or l?
l
Suppose 4*w - 89 = -5*t + 174, -3*w + 211 = 4*t. Let c = t - 42. Are c and 12 non-equal?
True
Let z(p) = -4*p + 19. Let c be z(10). Let g be c/15 + 6/15. Let d = -83 + 1077/13. Which is smaller: g or d?
g
Suppose 142*v - 24*v + 308 = -36*v. Let s = -1 + 3. Which is smaller: v or s?
v
Suppose -143*j - 2001 = -140*j. Is j <= -666?
True
Suppose 4*y = -l - 24, -31*l = -26*l + 2*y + 66. Is -13 less than l?
True
Let d be ((-146)/8 - 4/(-16)) + 2. Let h be d + (1 - (-2 - -4)). Is -16 at most h?
False
Suppose 14 = 2*c - 2*l, 2*l - 10 = -4*c - 3*l. Suppose 2 + 2 = -4*k - c*h, 3*h = 0. Are k and -1/5 equal?
False
Let g = -72 + 215/3. Which is smaller: g or -1/63?
g
Let q = 1690 - 1689. Which is bigger: q or -3/56?
q
Let u be 2/(-20)*(-5)/(15/78). Let g = u + -121/10. Is g > -9?
False
Let f = 653.88 - 639. Let v = f + 0.12. Let p = -13.9 + v. Which is smaller: -0.1 or p?
-0.1
Let v(j) = -j**2 + 7*j - 3. Let u be v(5). Suppose m + 3 = 0, -2*n + m = -0*n - 15. Is u at least as big as n?
True
Let g = 0.08 - 0.28. Let c = -49 - -36. Is g >= c?
True
Let g = 1502 + -1501. Let t(z) = -38*z - 1. Let s be t(-5). Let v be ((-21)/s)/(g/(-3)). Which is smaller: 13 or v?
v
Let n be (2 + -3)/((-2)/34). Suppose -7*y + 12*y = 330. Suppose 0 = -5*i + y + 19. Is n equal to i?
True
Let r = 2 + 23. Suppose 4*h + 0*l - 2*l = -26, 5*h + r = l. Which is smaller: h or -2?
h
Let i = 28 + -25. Suppose 3*w + i - 9 = 0. Let l = 12 - 11. Do l and w have the same value?
False
Let b(w) = w**2 - 29*w - 84. Let f be b(32). Do f and -2 have different values?
True
Let i be ((-11)/((-627)/150))/(-4). Let u = i - -3/19. Is u >= -15?
True
Suppose f - 4*x + 5 + 2 = 0, -4*f = -4*x - 8. Which is bigger: f or 3?
f
Let q be 1 + 1 - (-20015)/27. Let p = q + -743. Is p at most as big as 0?
False
Let l be (2 + 0 + -1)*(36 - 33). Suppose -17*o = -20*o - l. Let a be (-2)/(-38)*17 + -1. Is o < a?
True
Let f = -2.4 - -0.4. Let d = -3.829 - 0.071. Let v = d - -2.9. Is v smaller than f?
False
Let r be ((-2)/(-4))/((-7 - 14)/(-882)). Is r at most as big as 27?
True
Let q(m) = 35*m**2 + m. Let c be q(1). Let o = 97 - 85. Let p be 6/o - 26/c. Does 1 = p?
False
Let k be 1 + -7 - (-4 - (-120)/(-35)). Is k != 0?
True
Let l = -17.1 - -17. Let q = 0.2 + l. Let o = q - 0. Is -0.4 bigger than o?
False
Let h = -31 + 31. Suppose h = 2*p + 5*o - 15, -p = 4*p - o + 3. Which is smaller: -1/2 or p?
-1/2
Let g = -0.7 + 0.3. Let y = g - -16.4. Let w = -15.9 + y. Which is smaller: 1/3 or w?
w
Let y(g) = 4*g - 3. Let f be ((-12)/28)/(2/(-14)). Let m be y(f). Suppose m = 2*z + z. Is z at least as big as 3?
True
Let q be (18/28 + -1)/(820/(-574)). Let v = 0.4 + -0.2. Is q not equal to v?
True
Let h be -1*((-8)/(-2416))/1. Is 1 not equal to h?
True
Let v(n) = -2*n + 50. Let j be v(26). Do j and -4 have different values?
True
Let t = 68 + -77. Suppose -24 = o - 4*d, o - 4 = -3*d - 0. Which is bigger: t or o?
o
Suppose -4*a - 2 = 5*h - 4, -4*h = -5*a + 23. Let b be (-3)/h*16/(-8). Are b and 2 unequal?
True
Suppose -2 + 18 = 4*o. Let u(v) = v - 14. Let y be u(16). Let k be (-36)/(-81) - y/(-9) - -2. Is k less than o?
True
Let n = 3.7 + -3.71. Let u = -21 + 16. Let h = -4 - u. Do h and n have different values?
True
Let f = 241 - 281.9. Let q = f + 39. Let y = q + 1.2. Is y greater than 1?
False
Let z(l) = -l - 5. Let t be z(-6). Suppose -2*o - 30 = 42. Let s be (6/o)/(2/(-8)). Which is bigger: s or t?
t
Suppose -3*a - x + 6*x = 12, 5*a + 20 = x. Let t be (-58)/4 + 1/(-2). Let s be 2/(-3) + 5/t. Which is smaller: a or s?
a
Suppose 5*u = -7*j + 2*j + 30, -3*u = 2*j - 17. Is 8/21 at least as big as j?
False
Suppose -5*h + 21 = 2*h, -49 = -z - h. Which is smaller: 42 or z?
42
Suppose 2*y + 0*y - 31 = 5*c, -2*y = -4*c - 26. Let p be -3 + y + -1 + 1. Let b = p - 3. Which is smaller: -4 or b?
-4
Let i(k) = 4*k - 7. Let j be i(-9). Let f be 0 - (6 + -5) - (-42)/(-1). Is f not equal to j?
False
Let z(o) = o**2 + 86*o - 455. Let h be z(5). Is 13/42 < h?
False
Let x(d) = -d**2 - 15*d + 1. Let m be x(-15). Is m greater than -0.034?
True
Let s = -2135/9 - -237. Let f = -0.77 - -0.83. Which is smaller: s or f?
s
Let h be (-540)/(-189)*(-28)/(-8). Let r = -18 - -27. Is r at least h?
False
Suppose -10*v - 290 - 450 = 0. Which is greater: v or -73?
-73
Let l be (-383)/(-18) - 6/(-27). Let p = l - 87/4. Let z = -111 - -99. Which is smaller: p or z?
z
Let y be (-2)/4567*((10 - 29) + 20). Which is smaller: -1 or y?
-1
Suppose 2*j - 769 = 119. Let w = -776316 + 14758442/19. Let r = j - w. Which is smaller: r or 0?
r
Suppose 5*v - 4 = 3*v. Suppose x - 4*x + 12 = 3*r, 0 = -v*x + 10. Which is greater: r or 2?
2
Let v = 0.83 + 119.17. Let q = v - 127. Let d = -2 + 2. Is q greater than d?
False
Sup