nequal?
True
Let v = -106 - -314/3. Which is smaller: v or -9?
-9
Let m be 3 + ((-120)/(-18))/(-2). Which is smaller: m or -21?
-21
Let y(f) = 7*f**2 + 23*f - 21. Let o be y(-4). Which is smaller: o or -10/637?
o
Let i be (8348/760 + -11)*(-8)/(-6). Is -1 at most i?
True
Let b be 6/(-10) - (-28)/(-70). Let z = -267/728 - 1/56. Is b greater than or equal to z?
False
Let f = 122 - 624/5. Let v = -79/30 - f. Let d = 2 - 2. Is v not equal to d?
True
Let h = -39 - -38. Let w = 25/11 + h. Which is bigger: 1 or w?
w
Let k = -9/46 - -141/368. Let x = 432 - 433. Which is smaller: x or k?
x
Let a = -5 - -5. Let g = -81/19 + 1939/437. Which is smaller: a or g?
a
Suppose -4*a - 59 = 2*x - 15, 3*a - 3*x + 42 = 0. Let p be a/9*3/2. Let n = -4/25 + -59/100. Which is smaller: n or p?
p
Let o = 61.3 - 61. Suppose 5*s + 2*j + 13 = 0, 2*j = 3*j + 4. Let d = -4 - s. Are o and d nonequal?
True
Let c be 2/11 + 18/(-99). Suppose 7*v - 5*v - 42 = c. Let q = v + -26. Which is smaller: q or 3/4?
q
Suppose 0 = -f + 2*r - 0*r + 2, -4*r - 10 = f. Let v = 0 - 1. Let a be (1 - f - 1) + v. Which is bigger: a or 3/8?
a
Let t = 153/2 - 1527/20. Let s(h) = h**3 - h**2 + h. Let l be s(0). Are l and t unequal?
True
Let a = 33.7 - 33.8. Is -48 less than a?
True
Let j = 2.7 - 2.72. Let b = -20 + 32. Are b and j non-equal?
True
Let x = -658 - -1207. Are 549 and x nonequal?
False
Suppose 4*a + 231 - 699 = -4*v, 15 = 3*v. Let y = a - 113. Which is bigger: y or -42?
y
Let c be (-41)/(2 + (-1 - 448/492)). Let n = -458 - c. Which is bigger: n or -1?
n
Let f = 1137/8 + -513/4. Which is bigger: f or 14?
14
Suppose 1 = c - 0. Suppose s + v = -4, -s - 6 = 2*v - c. Let h be 1*(-2)/(-2*1). Is s < h?
True
Suppose 0 = 3*a + 4*m + 91, 9*m + 96 = -3*a + 6*m. Which is smaller: -34 or a?
a
Let a = -56.3 + 41.48. Let n = -0.18 + a. Let s = n + 17. Which is smaller: s or -1?
-1
Let h = -0.1461 + 0.0281. Which is smaller: h or 1?
h
Suppose -2*p - 2*j - 66 = 52, 2*j = -3*p - 178. Let z = 76 + -137. Are p and z non-equal?
True
Let s be 630/238*(4 - 5). Are -3 and s nonequal?
True
Let c be (6/48*-4)/((-170)/196). Let q = 3/17 - c. Let g = -2/693 + -28/99. Is g at most q?
False
Let n be (51/33 - (4 + -3))/(-2). Are n and 0 non-equal?
True
Let r = -798/55 - -87/11. Let t = r - -129/20. Is 0 != t?
True
Suppose m = 2 - 8. Let j(g) = -g - 13. Let q be j(m). Let s be 6/18*-3 + -7. Which is greater: s or q?
q
Suppose -5*p + 110 + 20 = 5*a, p = 2. Let l = a + -29. Is l not equal to -9?
True
Suppose 4*t + 35 = -33. Is t greater than -21?
True
Suppose -6*s + 468 = -0*s. Suppose 2*q + y = s, 6*q + y - 118 = 3*q. Is 40 greater than or equal to q?
True
Let i = -7 + 5. Let b be i + -1 + 11 + 0. Suppose 0 = 4*m + b - 0. Is m != -7/3?
True
Let m = -0.754 + -0.046. Let d = 0.1 - 0. Is m less than or equal to d?
True
Let r = -20 + 23. Suppose -4*s - 5*m + 56 = 0, r*s + 3*m = 5*m + 19. Suppose -5*t + 5*y + 33 = 2*y, 4*t - 44 = -2*y. Is s bigger than t?
False
Suppose -w = -6*s + s + 15, -2*w - 25 = -5*s. Let j(h) = -10*h**2 + 10*h - 9. Let k be j(w). Let r = k - -14407/13. Which is greater: -1 or r?
r
Let r be 12/9*3*1. Suppose -2*z - 2*o + 34 = o, -2*o = -r. Which is greater: 15 or z?
15
Suppose 0 = -4*l + 4, -9*l + 2422 = -4*w - 7*l. Which is bigger: w or -606?
w
Let g = -15 - -18. Suppose 2*b - 4*w + 5 = -3*w, 4*w + 7 = -b. Is g greater than or equal to b?
True
Let g(t) = t**3 - 12*t**2 - 15*t + 17. Let h be g(13). Let l be (-41)/(-22) + h/(-18). Let s = l - 5/44. Which is smaller: 3 or s?
s
Suppose t + 3*u = -281, -3*t - 292 = 4*u + 541. Is -275 smaller than t?
False
Let o = 0.67 - 0.07. Let u = -1.6 + o. Let v = u + 0. Is -1/2 bigger than v?
True
Let g = 9.5 - 612.5. Which is greater: -1 or g?
-1
Suppose -1109 = -13*h + 5326. Suppose 414 + h = -9*s. Are -101 and s non-equal?
False
Let c(j) = j**2 - 64*j - 200. Let i be c(-3). Let p be 0/(-1) + (-4)/(-7). Is i < p?
False
Let x(n) = -4*n**2 - 3. Let k(r) = -r**2 - 1. Let p(s) = -5*k(s) + x(s). Let m = -2 + 2. Let d be p(m). Which is smaller: 9/4 or d?
d
Let k(j) = -j**2 + 14*j - 25. Let t be k(10). Let g = 57 + -36. Let q = t - g. Are -6 and q unequal?
False
Let z = 3 + 10. Suppose -2*j - 5*q = -3 + 2, -4*q = -3*j + z. Is 1 at least as big as j?
False
Let t = -8 + 4. Suppose 2*j + 8 = -6. Let i(o) = o**3 + 6*o**2 - 5*o + 9. Let k be i(j). Is k greater than t?
False
Let g be (-20)/6*(-2 + (-57)/(-6)). Is g greater than -25?
False
Let y = 15 + -13.89. Which is bigger: -0.1 or y?
y
Let n(d) = -d**2 - 24*d - 8. Let r be (64/(-24))/(((-5)/9)/(-5)). Let p be n(r). Are p and -6 nonequal?
True
Let k(h) be the third derivative of -h**6/120 + h**5/6 + 5*h**4/12 + 4*h**3/3 - 9*h**2. Let g be k(11). Let p be 18/6 + (g - 1). Are 0.2 and p equal?
False
Let x = -5 - -4.5. Let a = 4.5 - x. Is -3 > a?
False
Let h be 856/1020 - 60/72. Which is greater: 1 or h?
1
Let p be 84/(-936369)*(-3)/2. Let j = p + -30280/4117051. Which is smaller: j or 0?
j
Let j = -779/2 + 390. Do j and 2 have the same value?
False
Let b(f) = -156*f - 20. Let c be b(1). Is -177 at most as big as c?
True
Let y be ((-1300)/3)/5*3. Let g be -2*5/(y/108). Let h = g + -4. Which is smaller: 0 or h?
0
Let l(g) = -6*g**2 - 3*g + 14*g**2 - 15 - 7*g**2. Let p be l(-8). Which is bigger: 74 or p?
74
Let g = -49 + 6. Let b be ((-20)/200*10)/(174/86 - 2). Is b bigger than g?
False
Let x(q) = -q**3 + 3*q**2 + q - 4. Let y be x(3). Let d = -5 - -2. Are y and d non-equal?
True
Suppose p - 4*p - 131 = 5*i, -72 = 3*i + 4*p. Let g = i - -32. Which is bigger: g or 8?
8
Let n = -0.3 - -0.8. Let w = 313/116 + -67917/580. Let u = 114 + w. Which is smaller: u or n?
u
Let x be ((-5)/10)/((-1)/110). Let q be (1/2)/(x/80). Let l = q + -43/44. Is 0 < l?
False
Let y = -5 + 0. Let m be (y/(-15))/((-26)/(-12) + -2). Is 2 smaller than m?
False
Let x be (0 - 1/13) + 0. Let q = 75 - 63. Suppose -18 = 3*m + 5*d, -3*m - 3*d = -0*m + q. Which is smaller: x or m?
m
Let k(c) = -c**3 - 5*c**2 - 6*c + 4. Let d be k(-3). Suppose 23*u + d = 27*u. Let j = 27/7 + -4. Is j greater than u?
False
Let f = -181/552 - 1/184. Let o = -4.4 - -0.4. Let z = o + 14. Which is smaller: f or z?
f
Let n = -302/19 + 887/57. Let b = 3 + -4. Which is smaller: n or b?
b
Let s = 75 + -79. Let v be ((0/s)/(-3))/((-4)/(-4)). Which is smaller: v or -6/25?
-6/25
Let m = 434 + -355. Which is greater: 236/3 or m?
m
Suppose -4*z - 26 = -7*z - 5*q, -5*z + 26 = 4*q. Which is smaller: z or -8?
-8
Let p = 3547 + -443379/125. Is p at least as big as 0?
False
Suppose -57*c = -52*c. Suppose -4*t + 8*t = c. Is 0 bigger than t?
False
Suppose -5*m = 2*m - 77. Let n be (1 - 0)/(m/(-33)). Which is smaller: n or 0.5?
n
Suppose -4*g - o = -0*o - 173, 4*o = 5*g - 232. Let x = g - 60. Are -16 and x non-equal?
False
Let u be (((-9)/14)/9)/(2/8). Let s be 10/8*2/(-10). Is u bigger than s?
False
Let q = -329.1 + 329.3. Which is smaller: -779 or q?
-779
Let k be 3*5/(-20) + 7/(-28). Which is bigger: k or 2/671?
2/671
Let v = -3 + -1. Let g be 4 + (v - 12/(-10)). Let l = -1.11 + 0.11. Which is greater: g or l?
g
Suppose 0*k = 5*k + 205. Let i = 122/3 + k. Is i greater than -0.1?
False
Let x = -1899 + 1888. Which is bigger: 16 or x?
16
Let l(j) = 2*j**3 + 1 + 7*j**2 + 5*j + 0*j**3 - j**3. Let c be l(-6). Let f(b) = 28*b + 36. Let q be f(-1). Is q smaller than c?
False
Suppose -2*x - 3*v + 46 = -v, 5*v = -2*x + 61. Let n = 11 - x. Which is smaller: n or -5?
n
Let p = 20155/4796 - 9/436. Suppose -19*k + 14*k + 25 = 0. Which is smaller: p or k?
p
Suppose 69*u = 236 - 29. Which is bigger: u or 342?
342
Let w = -5.054 + 0.054. Which is smaller: w or 5?
w
Let r = 7142 + -992742/139. Is -1 <= r?
True
Suppose 0 = 2*f + 4*c - 86, f + 4*c - 28 = 13. Do 41 and f have different values?
True
Suppose -15 = -3*z - 5*k - 11, 2*k = -3*z - 11. Which is smaller: z or -123?
-123
Suppose 13 = -i + 2*i. Let l be 254/21 + (8/21)/(-4). Which is greater: i or l?
i
Let y(o) = o**3 - 4*o**2 - 7*o + 1. Let v be y(4). Which is smaller: v or 0?
v
Suppose -14 - 13 = -27*j. Let s = 63.25 + -1.25. Which is bigger: j or s?
s
Let u be 1/(12/(-9) - -1) - -1. Let b be (-24)/(-14) - 2*u/14. Which is bigger: b or 18/7?
18/7
Let i be (-2896)/52 - -2 - -1. Let r = -53 - i. Which is smaller: r or 1?
r
Let t(q) = -q - 2. Let u be t(-9). Let d = 1