Are 0 and s nonequal?
True
Let k be 1 + 3 + -1*1. Let i be -2*(-2)/(24/18). Suppose i = k*z - 3. Is z at least 4?
False
Suppose 5*d = 4*f - 8, -d - 2 - 15 = -3*f. Let s = -0.54 + 0.6. Which is greater: s or f?
f
Let t = -51 - -87. Suppose 2*c - 12 + t = 0. Is -12 greater than c?
False
Let a be (-88)/72 - (-1 - (-14)/18). Let k be -10 - a/(0 + 1). Suppose -5*g = -2*p + 58, 5*p + 5 = -3*g - 5. Is g smaller than k?
True
Let p be 24/(-28)*7/(-2 + 3). Is p bigger than -172?
True
Let m(t) = -5*t - 31. Suppose 32 = -2*s - 6*b + b, -2*b - 8 = 0. Let w be m(s). Suppose c + 0*c = 0. Which is smaller: c or w?
w
Let d = -10 - -5. Let m be (-6)/d*5/(-2). Is m smaller than -3?
False
Let g = 0 + 20. Let s be ((-3)/(-2))/(15/g). Suppose s*n + n = -15. Are -0.1 and n unequal?
True
Suppose -3*p - p + 28 = 2*z, 0 = -2*z - 2*p + 20. Suppose v = -2*a + z, -3*v + 4*a - 27 = a. Let i = v + 1. Which is smaller: i or -1?
i
Let v(u) = -24*u - 20. Let p be v(-52). Which is bigger: p or 1227?
p
Suppose 3*k = 2*d - 79, -3*k + 4*k = -3. Which is bigger: 6 or d?
d
Let x be (176/(-90))/(105/(-1050)). Do x and 21 have different values?
True
Suppose 19 + 38 = -5*z + s, 4*s + 36 = -2*z. Is z equal to -94/7?
False
Let y be 212/(-6) + (-3)/(-9). Which is smaller: -28 or y?
y
Let v = -49 - -44. Let r be (8/v)/((-56)/20). Which is greater: r or -0.1?
r
Let r(g) = -g**3 + 7*g**2 + 7. Let d be r(7). Suppose 0 = d*q - 2*q. Is q > 0?
False
Suppose 0 = -5*z - 6*k - 422, -k = z - 5*k + 100. Are -88 and z non-equal?
False
Let i = -15141336047643600 - -76569736693139404276/5057. Let h = -59364390 + i. Let b = 1/389 - h. Which is bigger: b or 0?
b
Let q = -8 - -8. Let p be 14/35*(-1 - q). Which is greater: p or 10?
10
Suppose 4*d + 9*q - 5*q = 8, -3*d = -3*q + 18. Which is bigger: d or -0.61?
-0.61
Let m(d) = -2*d + 72. Let k(q) = q - 35. Let b(s) = 5*k(s) + 3*m(s). Let w be b(8). Which is greater: w or 32?
w
Let m = 64 + -62. Suppose 2*h - m*k + 100 = -0*h, 4*h - 2*k = -206. Is h smaller than -53?
False
Suppose -5*h = -4*t + 23, -5*t - h + 7 = -0. Suppose -2*q = t*r + 14, 3 = -3*r - 3. Are q and -40/11 equal?
False
Let b = 7 - 5. Let x = 11562.3 - 11562. Which is greater: b or x?
b
Let g(f) = -f**2 - 5*f + 5. Let n be g(-6). Let r(l) = l + 1. Suppose 0 = -2*s + 8. Let p be r(s). Do p and n have the same value?
False
Let o = 40.3 + -40. Is o at least as big as 11?
False
Let z be 1/10 + 911/(-10). Are -93 and z unequal?
True
Let a(s) = s**3 + 16*s**2 + 10*s - 6. Let q be a(-16). Is q >= -166?
True
Let g = 68887/62570 + -6/6257. Let z(w) = w. Let l be z(1). Is g less than l?
False
Let g = -106 - -58. Let l = 193/4 + g. Suppose 0 = 2*s - 6*s + 4. Does s = l?
False
Let r(g) = -47*g + 117. Let q be r(15). Is q less than or equal to -587?
True
Suppose -q + 0 + 5 = 0. Suppose -q*i + 4*p - 2*p + 166 = 0, 4*p = i - 26. Let y = -24 + i. Which is greater: 9 or y?
y
Let t be (-2)/(-6) + 10/(-15). Let u = -1099 + 1087. Which is bigger: t or u?
t
Suppose -2*m - 42 = -4*n, 2*n + 55 = -3*m + 80. Is n greater than or equal to 11?
True
Let n = -16/105 + 7/60. Which is greater: 3 or n?
3
Let r be 1*-7 - (84/14 + -13). Which is bigger: -1/352 or r?
r
Let r(u) = -2*u**3 - 4*u**2 - 4*u - 1. Let c be r(-2). Let t be 104/10*-7*c/(-98). Which is smaller: 4 or t?
4
Let z be ((-15484)/36 - 0) + (-4)/(-36). Do -431 and z have the same value?
False
Let i = -330 + 331. Which is smaller: i or -1/57?
-1/57
Suppose 3*t = -2*f - 82, 4*f + 15 = -2*t - 45. Which is greater: -7 or t?
-7
Suppose 44*w + 2060 = -756. Is -64 greater than or equal to w?
True
Let s = 343 + -343.7. Which is smaller: -73 or s?
-73
Suppose -2*u = 4*n - 14, 6*u - 10*u + 6 = -3*n. Suppose 3*s = 5*b + 6*s + 474, -459 = 5*b - n*s. Is -94 at least as big as b?
False
Let v = 19 + -6. Let l = 15 - v. Which is smaller: l or 7?
l
Let c = 35 + -14. Let p be 24/c + (-2)/14 + -1. Which is smaller: 5/12 or p?
p
Let z = -9.1 + 1.1. Suppose 75*c = 71*c + 16. Which is bigger: c or z?
c
Let i(r) = -r**2 - 17*r - 5. Let x = 2 + -17. Let a be i(x). Is 0 less than a?
True
Let a be 3/(((-15)/2)/(-5)). Let s be 20/195*33 - 2. Which is smaller: a or s?
s
Suppose -5*o + 5*k + 530 = -0*k, 0 = -3*k + 6. Is o smaller than 109?
True
Let i be (-8028)/81 - (-2)/18. Are i and -102 nonequal?
True
Let w(s) = -3*s - 6*s + 0 + 10*s + 7. Let j be w(-7). Which is smaller: j or 2/3?
j
Let u be ((-3)/6)/(4/8). Are u and 6/229 equal?
False
Suppose -2*u - 5*z = 31, -3*u + z = -0 + 4. Suppose 1 - 5 = p. Which is bigger: u or p?
u
Let q = -514.6 + 513. Is q < 0?
True
Let v be (6/2910)/((-4)/20*2). Which is smaller: 0 or v?
v
Let s be 3/(-6)*6*-3. Which is bigger: 17 or s?
17
Let m = -12941 + 478773/37. Let x = m - 55/296. Suppose 3*l - 2*l = 2*p - 9, 3*l - 9 = -3*p. Is l bigger than x?
True
Let o be 2*6/2 + 158/8. Which is smaller: o or -1?
-1
Let p be ((-77)/28 - -3) + 1445/(-260). Does -4 = p?
False
Suppose 4*c = -4*h + 44, 0 = 2*h - 5*h. Let j be -15 + 19 - (c + 0). Do -6 and j have different values?
True
Let h = -6695.21 + 6663. Let v = h - -0.21. Which is smaller: v or 1/2?
v
Let b(k) = k**2 - k - 15. Let d be b(-4). Suppose 7*t = 6*t + 23. Suppose 4*j = 1 + t. Which is bigger: d or j?
j
Let a be (-1)/(-3) + (-266)/(-57). Suppose -a*z = -66 - 89. Is z > 89/3?
True
Let v(p) = p - 1. Let x be v(0). Let t be (560/(-63) - -9)/(1/4). Is t >= x?
True
Suppose 4*j - s - 9 - 10 = 0, -s - 7 = -j. Is 4 not equal to j?
False
Let k = -22.7 + 20. Let l = 0.7 + k. Let w = -1 - l. Is w greater than or equal to 0.11?
True
Let r = -0.0511 - 14.9489. Let h = -2 - -1.9. Is h less than r?
False
Let n = 6.5 - 6.93. Let m = 0.07 - n. Do 1 and m have the same value?
False
Suppose -3*k + 112 = -5*f, -3*k + 39 + 27 = -3*f. Does -23 = f?
True
Let g = 65 - 65. Let r = -2.2 - g. Which is greater: r or 1?
1
Let b(k) = 5*k**2 - 2*k + 1. Let x be b(1). Suppose -x*n - 6*n = 90. Is -5 less than n?
False
Let z = -56 + 34. Let h be (-8*1/z)/(-2). Let b be 1/(-6)*4 + (-4)/(-6). Which is smaller: b or h?
h
Let g be ((-4)/(-10))/(6/(-15)). Let m be (-7)/g + (-2)/(-6)*0. Which is smaller: m or 29/4?
m
Let d be 1 - 2*(-12)/8. Suppose d*s = 3*p + 46, -4*s - p = -s - 28. Let x(i) = i**2 - 10*i + 6. Let g be x(s). Which is greater: 7 or g?
7
Let u be 0/((0 + -2)*(-8)/16). Are u and -0.012 nonequal?
True
Let k be (-4)/48*2*(1 - 7). Let m = -12 - -14. Let z be m - (-104)/(-50) - 0. Is k less than z?
False
Suppose -18 = 102*k - 84*k. Is 8/289 smaller than k?
False
Let p = -21 - -19.2. Let m = 1.87 + p. Let r = m - 0.07. Is -0.2 smaller than r?
True
Let u = -150 - -269. Is u equal to 121?
False
Let x = -5.4 + 4.5. Let q = -23 + 21. Is x < q?
False
Let o = 176 - 177. Is -52/33 smaller than o?
True
Let j = 24.4 - -6.7. Let r = 71 + -40. Let w = j - r. Is w < -15?
False
Let q = -842 + 830. Which is smaller: q or -2?
q
Let q = 1.27 - 0.27. Let l = -5.2 + -1.8. Let n = 13 + l. Which is smaller: n or q?
q
Suppose -u = -5*o + 10, -5*o = u - 5 - 5. Suppose -3*c + 1 = -o. Suppose -3*p - 10 = 4*s + 5, 0 = 2*s + 5*p + 25. Which is smaller: c or s?
s
Let s = 1133 + -1105. Is s greater than or equal to 6?
True
Let r = -87 - -126. Suppose p = 4*m - 158, 5*p - 44 = -m + 3*p. Which is smaller: m or r?
r
Let n = 9/41 - -2547/164. Which is smaller: n or 15?
15
Suppose 5*r = 7*r - 168. Let i = -84 + r. Which is smaller: -2/3 or i?
-2/3
Let t(r) = -r**2 + 12*r - 6. Let z be t(9). Suppose s = -a - 6, 4*s - a = -2*a - z. Is s at most as big as -5?
True
Let q be (149*1)/((-756)/77 - 3). Let t = q + 35/3. Is 1 at least t?
True
Let w be -5*(4 + (-77)/21). Let h = -10 - -9. Is h != w?
True
Suppose -33*s + 8*s = 25. Which is bigger: -179/4 or s?
s
Let y(d) = -d**2 + d - 1. Let z be y(2). Let o be 0/(-4) + 2*3/(-1). Is z at least as big as o?
True
Let f = 1220 - 1135.1. Which is greater: f or 1?
f
Let d = -25 + 26.1. Let v = d + -3.2. Let s = v + -0.9. Which is greater: s or 1/3?
1/3
Let x be (340/(-15))/(28/(-63)). Which is bigger: 49 or x?
x
Suppose u + 2*u - 35 = -4*m, 0 = -5*u + 4*m + 5. Suppose u*q + o + o = 24, 0 = 2*q + 2*o - 6. Is 3 at least as big as q?
False
Suppose -3*v - 4*v = 7. Is v greater than 1/63?
False
Suppose 1 = -0*j - j, 7 = -h + 3*j. Let z be ((-2)/(-8))/(((-8)/h)/4). Suppose n + 3*w + 1 = -3*n, 4*n + 4*w = -4. Which is greater: n or z?