 = 23970 - 23990. Let k = -22 - -31. Which is smaller: i or k?
i
Let c = -257 - -90. Which is greater: c or 3.2?
3.2
Let a(v) = -v**3 + 10*v**2 + 23*v - 12. Let d be a(8). Let q be (-6)/d*(-2)/(-3). Is q greater than or equal to -1?
True
Suppose 20*q - 93 - 224 = 3. Which is smaller: q or 81?
q
Let m be (272/12)/((-1032)/(-36)). Let u = m - 3563/4343. Is -1 <= u?
True
Let h be 1/(273/1905) - (-112)/32*-2. Suppose -2*o = -o - 1. Suppose 2*a - 5*i - o = -2*i, 0 = -i - 1. Which is greater: h or a?
h
Let u(l) = 35*l**2 + l - 1. Let k be u(1). Suppose 0 = 3*s + 5*i - 139, s - 48 = -4*i + 10. Let b = k - s. Do b and -14/9 have the same value?
False
Let j be 904/77 + (-2)/7. Suppose 5*n = 2*p + 21 - 40, 0 = p - 5*n - 7. Is j bigger than p?
False
Suppose h - 2*n - 76 = -2*h, -133 = -5*h - 3*n. Let q = h + -22. Let x be (q + (-90)/21)/(-2). Which is greater: x or -0.1?
x
Suppose -6*v = -30*v. Let k be 13029/(-516) - ((-1)/4 + v). Let i(y) = -3*y**2 - y + 3. Let u be i(3). Is u less than or equal to k?
True
Suppose 2*g + 0*g = 0. Let l = 17/12322 + -5/122. Are g and l equal?
False
Let u be 40/2904*24/(-60). Let y = 5 + -5. Is u != y?
True
Let r(o) = -o - 3. Let w = 129 + -111. Let l = w + -20. Let v be r(l). Which is smaller: 1/73 or v?
v
Suppose 0 = c - 5*c + 3*n + 38, 0 = 2*c - 5*n - 26. Let u be -2 + 13/1 - (20 + 210/(-14)). Suppose u = -c*j + 10*j. Is j less than 0?
False
Let k be (-10)/(9*5/(-675)). Which is greater: k or 4?
k
Let v(g) = g**2 - 18. Let y be v(4). Let a be 876/(-64)*y + 2/16. Is 28 equal to a?
False
Suppose -9*b + 193 = -140. Suppose -b*w = -4*w. Which is greater: -1/273 or w?
w
Let y = 66 - 62. Let z(q) = -q**3 + 5*q**2 - 6*q + 7. Let k be z(y). Which is smaller: 8/33 or k?
k
Suppose 4*z = 5*j + 559 + 1, 595 = -5*j - 3*z. Let u be ((-2)/(-10))/(0 + j/(-8)). Let c = -2576/2465 - u. Which is smaller: -1 or c?
c
Suppose 2*h - 2*p + 394 = 0, -3*p = -7*p - 8. Is -202 at most as big as h?
True
Let r = 361 - 9389/26. Let n = -459 - -467. Suppose t + 5 = n*z - 10*z, 0 = 4*z + 12. Is t < r?
False
Let m = -16 + 37. Suppose 0 = -19*z + m*z. Let h be ((0/1)/(-2))/(z - -1). Which is smaller: 1/94 or h?
h
Suppose 0*s = -s. Let q be (10 - 6 - 1) + -5. Let a be (-27)/(-18) + (-1)/q. Is s > a?
False
Suppose -9*q = -10*q + 404. Suppose -17*s + 123 + q = 0. Is 29 less than s?
True
Let i = -5.8 - -6. Let k = 29938.951 - 29921. Let s = k - -0.049. Which is smaller: s or i?
i
Let x be 3/((-3)/4)*(-183)/12. Suppose 4*d + 42 = d + 3*v, 4*d = 5*v - x. Let q be (6/d)/(-1 - (-32)/33). Which is bigger: q or 23?
23
Suppose -22*a + 1866 - 1044 = -3358. Is 2 less than a?
True
Let a = 2078.99 + -2293.8. Let l = 215 + a. Are l and 2 equal?
False
Let k = -15188 + 425267/28. Suppose -4*x = 5*p + 1, -2*x + 0*x = -2*p - 4. Which is greater: x or k?
x
Suppose 0 = -p - 90 + 7. Let s be (((-38)/(-228))/((-1)/(-8)))/(6/(-369)). Does p = s?
False
Let x = 0.03437 - -51.94563. Let m = 52 - x. Let z = m - -0.25. Is z <= 1?
True
Let l = 152.4 - -24.6. Let b = l - 121. Let n = -55 + b. Is n <= -3.9?
False
Let c = -233585/21 + 11123. Suppose 0 = 4*f - 0 - 4. Is c greater than or equal to f?
False
Let c = -1092 + 1096. Does -237 = c?
False
Let n = -173 + 316. Is n <= 0.8?
False
Let p = 25 + -85. Let f be (-19*(-4)/(-12))/((-6)/(-54 + 0)). Let s = f - p. Which is bigger: -1 or s?
s
Suppose 16*u + 666 = 19*u. Let f = u - 295. Are -72 and f equal?
False
Let z = 61 - 53. Let g be (-10)/(-8) - 2 - (-2)/z. Do -67 and g have the same value?
False
Let t be ((-164582)/18975 - -8) + (-6)/(-9). Are -1 and t unequal?
True
Let n(q) = 1068*q + 3785. Let b be n(6). Is b at least 10194?
False
Suppose -19*a = -28 - 10. Suppose -2 = -a*g - 5*y - 0*y, y = 5*g + 22. Which is smaller: g or -3/8?
g
Let n = -84.1 - -4.1. Is -6 >= n?
True
Let w be ((-4221)/(-12))/(-1)*136/(-102). Is 2347/5 at least w?
True
Let l be ((-28)/45 - (-10)/25)/(5/(-4365)). Which is bigger: 193 or l?
l
Let g = -1175 - -1104.7. Let o = -81 - g. Is 1/3 > o?
True
Let i be (-1451)/5 + (-1052)/1315. Is i at most -289?
True
Let i(v) = 6*v**2 - 6*v + 4. Let h be i(1). Suppose -5*y + h*q - 33 = 0, -15*y + 13*y + 2*q = 12. Which is greater: y or 2/7?
2/7
Let r = 2318 + -2321. Let g = -10 - -6. Let w be (-3*(-1)/g)/(-6). Is w less than or equal to r?
False
Let s = 27 + -23. Let i be -2*(-2)/(s*-3). Let o(d) = -d**2 - 6*d - 4. Let c be o(-5). Which is bigger: i or c?
c
Let a(f) = -9*f - 430. Let p be a(-32). Let z be 1*(3 + p/22). Which is bigger: z or -4?
z
Let w = -2939 - -2917. Is w != -3/7?
True
Let t = -21 - -37. Let x be (t - 20) + 2*4. Suppose w - 7 = -q - 3*q, -4*w - 4*q + x = 0. Is w != 7?
True
Let n = 254 + -238. Let v = n - 7. Is 4 bigger than v?
False
Let a = -2536 + 6498. Do a and 11888/3 have different values?
True
Suppose -3*k = 2*k - 5. Let t = k + -3. Suppose -12*m - 2*m - 12 = 16. Is m less than t?
False
Suppose -25353 = -7*k - 7363. Let c = k + -10223/4. Suppose -4*i - 2*z + 0*z = -56, -z = 4*i - 56. Is i equal to c?
False
Suppose p - 14 = 5*z, -p + 10 = -3*z + 2. Let h be (1/(-2))/((-835)/280 - z). Is h at most -27?
True
Suppose 0 = -7*l + h - 4489, 0 = -5*l + 9*h - 8*h - 3209. Which is bigger: l or -633?
-633
Let p = 2427 + -2427.1. Which is greater: p or -877?
p
Let y be -18*(9 - (-76)/(-8)). Suppose 4*f + f = 2*n - 12, -y = 3*f - 3*n. Is f at least as big as 3/82?
False
Let s be (34/(-119))/(2/(-42)). Suppose -6*w - s*w + 120 = 0. Suppose 0 = -z + 2 - w. Which is smaller: z or -5?
z
Let c = -2191 + 2189. Is c >= -33?
True
Let l = -73 + 71.5. Let w = 0.016 + -0.536. Let q = w - -2.52. Which is bigger: l or q?
q
Let u = -1085395798101/2780 - -390430152. Let g = -1/556 - u. Are g and -9 non-equal?
True
Let u(b) = 5*b + 3. Let z be u(3). Let c be (-1034)/2585 + (-154)/(-10). Which is bigger: c or z?
z
Suppose 0 = 4*p - 87 - 53. Let f be ((-4)/(-10))/(1/p). Let q be 17/((-459)/(-216))*(-8)/192. Is q < f?
True
Let i be (30/25)/((-686)/230 + 3). Suppose 9 = i*h - 68*h. Which is bigger: 10 or h?
10
Let b be 3*19/9*6. Suppose 33 = 2*g - 0*r - 5*r, -5*g = 2*r - 10. Suppose 5*i = -g*w + 162, 2*i - 37 = -w + 5. Is b at least w?
True
Let l(m) = m**2 + 2*m - 2. Let p be l(2). Suppose -6*w + 4*w = -p. Suppose 2*o + 2*o - 50 = -w*x, -5*x = -5*o - 25. Is x greater than or equal to 10?
True
Let x = 1662 + -108034/65. Let b = x + 97/520. Let i(k) = k**2 + 2*k - 16. Let g be i(-5). Which is bigger: b or g?
b
Let x = 0.0964 + -257.5964. Let j = 17.5 - x. Do j and -2/5 have different values?
True
Let f = -31.59 + 41.888. Let c = f + -0.298. Which is bigger: c or 0.09?
c
Let j(y) = -66*y - 10. Let n be j(3). Let x be (((-5)/15)/(-1))/(1/(-621)). Does x = n?
False
Let o be 3/(81/(-6)) - (-38)/9. Suppose -4*q - b + 5 = 2*b, 20 = -o*b. Is 10 at most as big as q?
False
Let v = 1070 - 1066. Let i = -29 - -29.13. Is i > v?
False
Suppose 0 = w + w - 36. Let b = 94189 + -94192. Is b <= w?
True
Let w be 3745 + 168/(-12) + 21. Is 3752 at most w?
True
Let i = 361.83 - -7.17. Let b = i + -371. Is 10/47 >= b?
True
Let g be (-230882)/(-670) - (7/(-2) + 1/2). Which is bigger: 348 or g?
348
Let r = 0.2 - 0.1. Let v = 30.331 - 62.265. Let p = v - 0.066. Which is smaller: p or r?
p
Suppose 5*g - 4*v - 24 = 0, g - 7 = 25*v - 22*v. Suppose -g*x - 32 + 48 = 0, -u + 124 = 3*x. Do u and 112 have the same value?
True
Let d(f) = -5*f**2 - 107*f + 29. Let z be d(-22). Let b be (7/3 - 1) + (-539)/14. Are b and z equal?
False
Let z(h) = -696*h - 661. Let c be z(-1). Is 44 < c?
False
Let g = -38 - 3. Let f = -18 - g. Is 24 greater than f?
True
Let w(m) = -m**2 + m + 67. Let t be w(0). Suppose 0 = -4*h - u - 259, 2*u = 2*h - 4*h - 122. Let j = h + t. Which is smaller: j or -4/17?
-4/17
Suppose -4*q + 3*h = 1, q - 4*h + 0*h + 10 = 0. Let k be (4 + (-258)/63)*(91 + q). Is -8 greater than k?
True
Let l be (0/(-69) - (-1)/7)/(4/14). Which is greater: l or 14.42?
14.42
Let o be (24/(-18))/(1*3/(-9)). Suppose -4 + o = -3*j. Let b be j/(((-6)/(-4))/(7/(-14))). Which is smaller: b or 23/4?
b
Suppose 5*v - 30 = -3*y, -968*v + 6 = y - 967*v. Is 1/3155 > y?
True
Suppose -2*k + 138 = -168. Suppose 10*y - 1267 - 253 = 0. Which is greater: y or k?
k
Let k = -0.0319 + -27.9681. Which is smaller: 5 or k?
k
Suppose 0 = -2*j - 2*p - 8, -j + 3*j = 4*p + 10. Let g = 1/537 + -1673/32