se
Let n = -7423 + 7352. Which is smaller: -697/10 or n?
n
Let t(b) = -b**3 + 6*b**2 - 3*b + 18. Let d be t(6). Suppose d = p - 7*p + 54. Suppose -p*u + 138 = 714. Is -64 greater than u?
False
Let r = -334/21 - -18/7. Let b be (4 + -1 - (5 + 1)) + 63. Suppose b = 7*n - 12*n. Is r less than or equal to n?
True
Suppose 8 = 66*r - 80*r - 6. Suppose 4*x - 5*x + 2 = 0. Suppose -x*w = -w + 1. Do w and r have the same value?
True
Let a = -23 - -38. Suppose o = 5*q - a, 7*o - q = 2*o - 99. Let k be (16/o)/(1/(-5)). Are k and -4 unequal?
True
Suppose 37*y - 752 = 33*y - 4*h, 3*y = h + 572. Does y = 190?
True
Let l(i) = 3*i**2 + 148*i + 1124. Let t be l(-8). Which is smaller: 128 or t?
128
Let p(l) = -l**3 + 8*l**2 + 9*l + 3. Let u be p(9). Suppose -w + 52 = 10*o - 9*o, w = u*o + 64. Which is bigger: w or 56?
56
Suppose 0 = -5*i + 35, -s + 41 = 103*i - 97*i. Which is bigger: 1/21979 or s?
1/21979
Let j = -9368.0325 - -9368. Does j = -5?
False
Let g be (-13390)/6 + -1 + (-12)/45*5. Is g smaller than -2232?
True
Suppose 4*j - 7 = -k, 4 = k - 13*j + 14*j. Suppose -h - 6 = 2*h. Let u be h + k/(-33)*-17. Which is smaller: 0 or u?
u
Let d be (3/12 + (-74)/(-88))*-1. Let r be 6/(-14)*581/(-166). Which is greater: r or d?
r
Let p = 4040 - 4287. Is -242 less than or equal to p?
False
Let y = -2.4 + -0.6. Let t = -0.0247 - 216.9753. Let r = 217 + t. Which is smaller: y or r?
y
Let i be 0/(-3)*(-59)/(-118). Which is bigger: i or -104/137?
i
Let s(i) = -17*i**3 - 15*i**2 - 9*i - 3. Let g be s(-1). Which is smaller: -54 or g?
-54
Let d be 5 + -5656 - ((11 - -6) + -17). Is -5653 at least as big as d?
False
Let z(t) = -26*t - 6. Let g be z(-6). Let b = 178423 - 178274. Do b and g have the same value?
False
Let i = -10242 - -11723. Is 1481 < i?
False
Suppose -4*j - w = -8*j + 102, w = 3*j - 76. Let y(h) = 4*h - 101. Let i be y(j). Which is bigger: i or 6?
6
Let q = 450 + -243. Suppose 0 = 4*m + 3*t + q - 980, 5*t = -2*m + 369. Which is smaller: 196 or m?
196
Let c be (-6 - (-3)/1) + -197. Let s = c + 169. Let w = 39 - 69. Which is smaller: w or s?
s
Let o = -165.1 - -166.033. Let q = o - 0.733. Which is bigger: 169 or q?
169
Let k = -790 + 826.9. Let b = -7685 + 7684. Are k and b nonequal?
True
Let b(n) = -n**3 - 17*n**2 + 20*n + 41. Let s be b(-18). Suppose s*h + 34 + 21 = 0. Which is bigger: -34/3 or h?
h
Let a(y) = -y**3 - 14*y**2 + 15*y + 21. Let t be a(-15). Suppose -2*m + 21 = -t. Is 59/3 <= m?
True
Suppose 45 = -2*h + 7. Let i = -0.066 + -0.034. Which is smaller: h or i?
h
Let f = -7385 + 7387. Which is bigger: f or 0.144?
f
Let w = 62 + -59. Suppose 0 = -3*k - w*q - 126, -140 = 3*k - 3*q - q. Let y = k - -87. Is 43 less than or equal to y?
True
Let a be (1236/(-14))/(2*(-54)/56). Is a less than 47?
True
Let c = 33/2 + -16. Is -9.4 bigger than c?
False
Suppose -24*j + 22*j + 4 = 4*a, 0 = -4*a + 3*j + 34. Let u(g) = -2*g**2 - 9*g + 2. Let r be u(-4). Do r and a have the same value?
False
Suppose 3745 = 81*k - 1358. Which is smaller: 62 or k?
62
Suppose -2*c = 5*d, -20 = -0*c + 4*c + 5*d. Let w = -42 + 49. Let y(o) = 2*o**2 - 17*o + 17. Let k be y(w). Which is bigger: c or k?
k
Suppose -4*w + m + 37 = 2*m, 32 = 3*w + 5*m. Suppose w*a - 576 = 25*a. Which is smaller: a or -40?
-40
Let c be (-6 + 6 - 5) + (-6)/33. Let m = 58 - 62. Does c = m?
False
Let u = -626 - -21908/35. Let o be -5 - (-18)/4*4/(-6). Let g be (o/4 + 1)/1. Which is smaller: u or g?
g
Let j(l) = l**2 - 2*l - 96. Let u be j(11). Suppose v + 20 - u = 0. Which is greater: v or -6?
-6
Suppose -17 + 105 = 22*s. Let y = 56.996 - 57. Is s != y?
True
Let j be (60/15)/1 + -1 + (-987)/326. Do 1 and j have the same value?
False
Let j = 0.1 + -0.1. Let y = 35.18 - 0.18. Let x = -48 + y. Is j at least x?
True
Suppose 0*r - 4*r = -f - 42, 2*r - 3*f - 26 = 0. Let k be 33/(-90) - (-2)/r. Let l be (-45)/300 + (-2)/8. Which is smaller: l or k?
l
Let o = -1164 + 1164.4. Let n = 1.861 - -0.439. Which is greater: n or o?
n
Let c(s) = 3*s - 2. Let d be c(1). Let t be d/(224/76 + -3). Is t at least -19?
True
Let j = -86846/25 - -3478. Which is greater: 4 or j?
j
Let n = 9414.8 + -9564. Is n >= 2/5?
False
Suppose -29*k + 276 = -130. Let r(h) = -30*h + 451. Let p be r(k). Is 29 greater than or equal to p?
False
Suppose -5*f = 2036 - 1881. Is -31 greater than f?
False
Let s = 35415194 + -2904132173/82. Let f = s - -1052. Which is smaller: f or 1?
f
Let k = 68133/4 + -310709/20. Which is smaller: k or 1497?
1497
Suppose -138 = 5*x + 164 - 232. Are x and 57 unequal?
True
Suppose 111 = 82*l - 53. Let t be (1 - 2)*17/(-1). Suppose -l*f + 25 + t = 0. Are 21 and f equal?
True
Let v(k) = -88*k + 397. Let m be v(3). Suppose 6*c - 670 = c. Which is bigger: c or m?
c
Let g(m) = 41*m**2 - 36*m + 5. Let w be g(3). Suppose -2*k = -4*y - 0*k - w, -4*y + 3*k - 267 = 0. Are y and -69 unequal?
True
Suppose -2*d - 9 = d. Let u be -2*(-3)/((-9)/d). Let z be 4620/(-792)*(0 - 6/20). Which is smaller: u or z?
z
Let h = 662.4 + -663.4. Which is greater: h or -0.43?
-0.43
Suppose -2*d = -3*n + d + 42, -24 = -n + 3*d. Let s be 0/1 - n/3. Let g be ((-13)/234)/((-3)/408*-2). Which is smaller: g or s?
g
Let r(m) = m**2 - 10*m + 13. Let i be r(7). Let n(y) = y**3 + 2*y**2 - y - 2. Let t be n(-3). Is i smaller than t?
False
Let v = -935 - -75734/81. Is -63 less than or equal to v?
True
Let k be (-2)/9 + (-6)/(137808/(-65260)). Let l = -72/29 + k. Which is smaller: -1 or l?
-1
Let i be 6 - (-14113)/44 - 3/4. Suppose 0 = 8*d - 3*d + 5*w + 410, -2*w = 4*d + i. Is d at most as big as -78?
True
Let l = 21817 + -21611. Let g = 2 + -1. Which is smaller: g or l?
g
Let c be 27/(-6)*4 + 0. Let q = -4 - c. Let f(g) = -13*g - 65. Let x be f(-6). Is q < x?
False
Let n = 149 + -143. Let w be (-2)/(4/n) - -19. Is 139/9 less than w?
True
Let r(b) = b**2 - b - 25. Let g be r(0). Let y = 16 + g. Suppose 0 = -4*n - 3*t - 38, -2*t = n + 34 - 27. Which is bigger: y or n?
y
Let g be 6/12*(-140)/(-5). Let q = -156 + 240. Suppose 4*m = 4*b - q, -3*m - 9 = b + 2*m. Is b less than or equal to g?
False
Let i(b) = -b**3 + 3*b**2 - 13*b + 46. Let w be i(3). Let v be (-29)/(-1)*(w + -8). Is -85/3 less than v?
False
Let n(p) = 28*p - 116. Let k be n(8). Let f be ((-4)/(-30))/((-9)/(-27)). Which is smaller: k or f?
f
Let j = 7663/2 - 2398543/626. Let y be (-3 + (-544)/(-224))*2*(-2462)/1252. Let n = y - j. Which is bigger: n or 2?
n
Suppose -104*n - 26492 = 75*n. Is -172 at most as big as n?
True
Let q be (-14)/(-326)*30/105. Suppose 3*w - 23 = -26. Are q and w non-equal?
True
Let o be 24/(-22)*(-7)/(-21). Let t be (-98)/637 + 661/1001. Let s = t + o. Is 0.2 greater than s?
True
Suppose 213 = 9*a - 147. Let z(y) = y**3 - 40*y**2 + 4*y + 15. Let t be z(a). Is 174 smaller than t?
True
Let c be (-952)/(-12) - 2/(-3). Suppose 3*j - 5*j + c = 0. Let q = -947 - -947. Is q smaller than j?
True
Let k = -84.364 - -13.474. Let a = k + 71. Let s = -0.3 - -2.3. Is s >= a?
True
Let a = 192 - 58. Suppose 28*u = -358 + a. Which is smaller: -34/5 or u?
u
Suppose 2*g - 5*l + 3*l - 532 = 0, 0 = -2*g - 3*l + 552. Suppose 0 = 898*q - 892*q + g. Do -3 and q have the same value?
False
Suppose -4*u + 102 = -q, 3*u - 114 = -u - 5*q. Suppose 4*p + 0*p = 5*f + u, -p = f - 11. Let a be (6*3/9)/(-2 - (-176)/78). Is p smaller than a?
False
Suppose 210 = -3*i - 3*m, -4*i + 350 = -9*i + 4*m. Let w = 69 + i. Which is smaller: 2/291 or w?
w
Let f = -5293 + 5263. Is -663/23 less than f?
False
Let m be 55 + -46 - (-1 - -13). Let q(p) = 15*p**2 + 42*p - 9. Let j be q(m). Which is smaller: 5.55 or j?
j
Let k = -6039558/5284241 - -1308/1151. Let o = 3677271/18364 - k. Let y = -203 + o. Is -3 <= y?
True
Let o = 14248 - 5006. Is 9241 at least o?
False
Let w be (400/800)/(3005/(-1502) + 2). Is w >= 1/3?
False
Suppose 0*m + m = 2*y + 40, 5*m = 3*y + 172. Let t be 567/(-1323) + 297/7 + -12. Which is bigger: t or m?
m
Suppose 155548 = 64*l - 23*l + 33*l. Are 2102 and l non-equal?
False
Let d = 0.273 - 0.173. Let x = 0.131 + 17.469. Let r = 18 - x. Is d greater than r?
False
Let x be 4/(-2) + 20/16 + 6/(-24). Is 4876 bigger than x?
True
Let f = -4453/7 + 984638/1547. Which is bigger: f or 0?
f
Let m = 246.1936 - -0.0064. Is m equal to -1/4?
False
Let m = -13.0255 + 0.0255. Which is greater: -8 or m?
-8
Let z be (1 - (-4)/(-1