e
Let y = -20 - 16. Let x = -301 - -417. Let m be x/y - -3 - 22/(-72). Is -1 less than m?
True
Let i = -1521 + -152. Is i equal to -3347/2?
False
Let z = -11384.771 + 11378. Let r = -0.229 + z. Is r equal to 1/4?
False
Let t = 294.7 + -295. Is t greater than 230?
False
Let c = -35 + 35.078. Let t = -0.078 + c. Which is smaller: 43 or t?
t
Let h = -391 + 414. Suppose h*o = 267 - 37. Which is bigger: 74/7 or o?
74/7
Let j(k) = 20*k**2 - 5*k - 7. Let b be j(-3). Let w = 738 - 549. Which is bigger: w or b?
w
Suppose 0 = -4*r + 16, -7507 - 4938 = -3*o - r. Is 4147 greater than o?
False
Let q be 1774/36 + 3 + 2/9. Let f(b) = 9*b - 37. Let n be f(10). Is q at least n?
False
Let i(p) be the second derivative of 7*p**4/4 - 11*p**3/6 + 11*p**2/2 + 50*p + 3. Let o be i(1). Is 98/5 > o?
False
Let j = -9 - -50. Suppose -r + j = -0*r. Let u(p) = 1522*p + 10697. Let w be u(-7). Which is bigger: r or w?
w
Let i = -349 + 3137/9. Let l be (-3)/6*6*(-13)/39 + (-299)/115. Is l less than i?
True
Let a = -21.142 - 2.658. Is a <= 0.1?
True
Let r = -187151128642/219159681 - -2/16858437. Let k = r + 854. Let m = -124 + 123. Do m and k have different values?
True
Suppose -179 + 121 = -2*x. Let b be ((-3)/x)/(-1 + 49/70). Do b and 0 have different values?
True
Let h be (-6 - 5/(-2))*-82. Let a be 7/12*2/h. Which is bigger: 1 or a?
1
Let i be (-1980)/(100/10) - (-3 + 1)*-3. Are i and -206 unequal?
True
Let g = 88 - 78. Suppose -12 - g = -22*m. Which is smaller: m or 0.127?
0.127
Suppose -3*m + 83004 = 5*z, -21*m + 20*m - 2 = 0. Is 16602 equal to z?
True
Let p be 5 - ((-400)/15 + -3). Let k(f) = -21*f - 111. Let s be k(-7). Is s smaller than p?
False
Suppose -2*n - 898*y = -899*y + 48, -2*y = 12. Is n not equal to -8/11?
True
Let b = -76948/57 - -1350. Let u be (-75)/100 - (-1)/(-4)*-15. Suppose 3*x + 3 = -u*g, -x = -4*g - 2 - 2. Which is greater: b or x?
b
Let v = 39561 - 39561. Is v equal to -2/41031?
False
Let t = 0.4005 - 0.3005. Let s = -124.1 - -115. Is s smaller than t?
True
Let h be 47 - (6 - 1) - (-6)/2. Let w = h - 42. Suppose -o = w*o - o. Which is smaller: -15/13 or o?
-15/13
Suppose 562 = -3*h + 133. Let x = h - -307. Is x equal to 163?
False
Suppose -4*v - 15138 = -5*j, 15136 = 3*j + 2*j - 3*v. Which is smaller: j or 3027?
j
Let i be (6/4)/(-5 + 55/35). Let j = 31/144 + i. Which is smaller: 1 or j?
j
Suppose -248 - 1119 = -f + 4*t, 0 = 4*f + t - 5400. Which is smaller: 1352 or f?
f
Let x = 6 - 8. Let t = -618044/5 - -123610. Which is smaller: t or x?
x
Suppose 21 = 167*b - 160*b. Suppose -u + 2*u = 0, -b*m + 3 = -5*u. Let i be (1 - 12/10)/(63/105). Is m <= i?
False
Let m = -26961 + 26962. Is m less than -50/879?
False
Let w = -66.3198 - 0.6802. Is -0.08 less than w?
False
Let m be 6683/489*6/(-32). Which is greater: m or -3?
m
Let g be ((-100)/15)/(-5) + (-88)/66. Which is bigger: 14/761 or g?
14/761
Let o = 0.12 - 2.12. Let p = 0.17937 + -6.97937. Which is greater: o or p?
o
Suppose 2*m = 3*n + 7, -3*m + 4*n = -n - 10. Suppose j + 25 = -5*w + 275, -m*j = 4*w - 200. Let p = w - 57. Are -0.06 and p equal?
False
Let n = -12/853 - 1430/19619. Which is greater: -245 or n?
n
Let u(x) = x + 3. Let w(s) = -9*s - 37. Let t(g) = 6*u(g) + w(g). Let v be t(4). Suppose -56 = 3*n - n - 4*q, -4*n - 126 = -q. Which is bigger: v or n?
v
Let i = 8450 - 17567548/2079. Let f = -6131/110187 - i. Which is smaller: -0.1 or f?
-0.1
Let c be (-16)/5*24/((-720)/(-75)) + -38. Which is smaller: 327 or c?
c
Let v be (-4 - -47) + (11 - 18). Let k be -49*(-11)/(693/v). Is 26 smaller than k?
True
Let u = 311.1 - 311. Let j be (-6)/(-385)*(-125)/25. Is u at most j?
False
Let n = 243.2 + -244.3. Which is bigger: n or 1/72?
1/72
Let g = 1467 + -1500. Is -0.07 <= g?
False
Let g = -3/432533096 + -30206381288341/564455690280. Let o = g - -482/9. Which is smaller: o or 0?
0
Let r = 0.054 - -0.146. Is r equal to -1/12?
False
Let i be (-2)/5*((-8)/(-124) + (-9870)/(-15190)). Do 3296/7 and i have the same value?
False
Let b = -1087 - -1298.1. Let n = 211 - b. Is n bigger than 9.3?
False
Let v = -2944/2145 + -2/165. Let r = -4.46 - -4.46. Is v less than r?
True
Let h be (3/(15/16))/((-4)/20). Let b be (1 + 0)/(h/416). Is -23 <= b?
False
Suppose 1 = 5*b - 4. Suppose 144 = -52*u + 48*u. Let k be (-2 + (-25)/(-20))*4/u. Which is greater: k or b?
b
Let y(u) = 48 + 7*u + 194 - 40 - 67*u + 6. Let n be y(8). Are -272 and n non-equal?
False
Suppose 14*z + 4795 = -4543. Which is greater: -666 or z?
-666
Suppose -542*a + 367*a = -60550. Is a not equal to 354?
True
Let m = -8023 - -1566. Which is bigger: m or -6460?
m
Let a = -72.54 - -40.51. Let w = -32 - a. Let u = w - -1.97. Are 0.1 and u equal?
False
Suppose -149*c = 69 + 45 + 35. Is c less than -5/1079?
True
Let k be 39 + -37 - (13/(-1) + 0). Suppose -q = d - k, 5*q = 2*d - 24 - 34. Which is smaller: d or 22?
d
Suppose -2*j + 5 = -3*i - 4*j, -3*j + 6 = 0. Let p be 68/16 + i/12. Suppose -34 = p*a - 5*n + 37, -5*a - 5*n - 55 = 0. Is -15 at least as big as a?
False
Let i = 211.474 + 0.526. Let g = i + -93. Let a = g + -117. Is a < -1/34?
False
Suppose 18 = 5*q + 2*x + 2*x, 2*q = 4*x + 24. Let b = 5 - 2. Suppose -s + b*j = 2*j, 5*s - 3*j - q = 0. Are 7 and s non-equal?
True
Let y = -97/31 - 5231/62. Suppose 0 = 42*p - 66*p - 2136. Does p = y?
False
Let w = 11051/12 - 199531/204. Do -56 and w have the same value?
False
Let f = -25 + 47. Let a = 15.3 - -6.5. Let d = a - f. Which is smaller: d or 1/2?
d
Let b = 305 - 302.59. Let g = -2.1 + b. Let x = -0.89 - g. Does x = -0.1?
False
Let u = 112 - 105. Which is bigger: 95 or u?
95
Suppose 68*t - 536 = 3*n + 63*t, 3*t + 160 = -n. Are n and -172 nonequal?
False
Let d = 0.309 - 178.309. Let n = -96 - d. Let l = n + -134. Which is smaller: -1 or l?
l
Let m be (4/8 + (-2)/(-4))/((-7)/10787). Is -1543 at most as big as m?
True
Suppose -22*q - 25 = -23*q - c, -4*c = 3*q - 74. Suppose -39 = r + 2*b + q, -4*r - 270 = 3*b. Let w(d) = 7*d - 5. Let y be w(-9). Which is greater: r or y?
y
Suppose -3*k + 5*r = 302, k - 4*k = -r + 322. Let a = k + 113. Let j be (3 - 29/a) + 4. Is -16 equal to j?
False
Let x = -121 - -120. Let c be (-87)/9 - (8/3)/(-4). Which is smaller: x or c?
c
Suppose 52 = -3*i + 67. Is i smaller than 137/25?
True
Let u = 8364 + -8364. Which is greater: -1214 or u?
u
Let g be 260/20 + -9 + (-20343)/10172*2. Which is smaller: g or -1?
-1
Let t = 17.93 - 0.93. Let s = t + -104. Let c = s - -86. Which is greater: c or 63?
63
Suppose 2*n = 2*r, -5*n + 34 = 5*r - 16. Suppose -4*d = -6*d - 4*m + 6, -6 = -d - n*m. Is -2/171 less than d?
True
Let o = -3/404 + 1269/7676. Suppose -11*l = -176 + 165. Which is bigger: o or l?
l
Suppose -3*g + 122 = 5*w - 5*g, g = -2*w + 56. Suppose -2*r = -0 - 14. Suppose -16 = -r*l + w. Which is smaller: l or 3?
3
Suppose -5*y + 216 = -y. Let t be 4/18 + 2 + 1608/y. Let f be -3*t/21 - -2. Which is bigger: -3 or f?
f
Let c be 18/(-12)*24/2256. Which is smaller: c or 1/2?
c
Let x be (6 + -3 - 1)/(25/90). Let b = -11.5 - -8.5. Is b equal to x?
False
Let v(t) = -9*t**3 - 7*t - 6. Let i be v(-1). Let a be (-2)/i + (1 - 8704/10680). Is 0 greater than a?
True
Suppose 2*s - 2 = -3*o + 2, 4*s = -o - 2. Let m be (-1870)/(-660) + (-5 - -2) + -2. Which is bigger: m or s?
s
Suppose -2*t - 8 = 0, 0*f - 2*f + 2*t + 38 = 0. Let j = f + -14. Suppose -x - j + 13 = -d, 0 = -x + 4*d + 3. Is 15 != x?
False
Let j be 8/20 + 12/(-5) - -257. Suppose 0*z - 4*k - j = -5*z, -5*z = -2*k - 245. Are 47 and z non-equal?
False
Let s(o) = -2*o - 2. Let r be s(-2). Let z be 14/(-11)*-63 + (-2)/11. Suppose -6*i = -r*i + z. Is i equal to 1?
False
Suppose 2*a = -l, -4*a - 3*l + 12 = -4*l. Suppose -2*y + a*w + 167 + 59 = 0, -4*w + 4 = 0. Is y <= 115?
True
Let i be (-14)/(-3) + 88/66 + -4. Suppose 5*w + 1 = -o, i*o + 7*w - 23 = 2*w. Which is bigger: o or 0.3?
o
Let a = -37.81 + 0.81. Let z = 1559 + -1602. Let b = a - z. Which is smaller: -1/2 or b?
-1/2
Let z be (-12 - -6) + -2 + 15. Let c be (-46)/z + (9 - 2). Let i = -7 + 6. Which is smaller: i or c?
i
Suppose 62 = 4*r + 50, -r - 1 = -4*l. Which is smaller: 5/2522 or l?
5/2522
Let r = 0 - 0. Suppose r*t - 171 = 3*t. Let u = -402122 + 402064. Which is greater: t or u?
t
Let x(j) = -j**2 + 7*j - 4. Let p be x(5). Suppose 5*w = 3*w - p. Let g be -183*w/81 + 1. Which is sm